Fixed bugs in borrowing preconditions from non-recursive rules for grounding recursive numeric variables.