other_new_branch
- should be dict algs
not rule commands

reduces from maxlength, not counts up and compares with maxlength x

should first clause of caw end in caw to reduce maxlength x maxlength of that value hasn't worked x call caw with same maxlength x won't need to (to return sol or) to reset nondet vals

add (named) rules new (and existing x) branches

cut and write interpret