Call: (22) find_rule_name(predicatename_existing, _5976) ? skip Exit: (22) find_rule_name(predicatename_existing, predicatename_existing) ? creep bugs not adding commands after first one n,1 appearing spec inputted v should work spec dependencies x should already work - write alg base up x should work check cawmp does have pred header values when backtracks