cawmp 2 2 20

()
[not
if2,3
or
brackets in these
]

just need calls to itself and other preds,
random data

program finder x use different commands e.g. equals2, if etc. later

if in dict, tries - too slow

with cawmp bug fixed, should write multiple clauses and have single spec x very slow to try all combos from single spec

alg that verifies properties of spec to find the right spec set (and spec set from spec) and alg () just alg x cawmp

keep multi spec, which can generate based on first spec, run cawmp
- ont->first spec later (ml?)