get rid of small annoying arithmetic bugs
support automatic generation of code walker (to find P's predicate and clause)