Fixing the planning logic: borrow the preconditions from the unrecursive rule which has the same effect of a recursive rule when it cannot find any proper value to grounding numeric variables