*1

10 alg writers, like rcawp
- data replacer alg writer
- cawp2 that makes up data, alg
- p2lp and an alg that saves calls to sub-predicates of long algorithms