After changes to positivity checker to
handle induction recursion.