bottom up for cawmp
- speed

warnings for incorrect dict entries, non spec-dict matches

modify rules predicate for no inputs

ab not aa inside calls x