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