Abducer for while programs now on new rule structure. Next is adding new
test cases for it.