Bugfix, minor, wrong check on # of variables.

Before, there was a wrong warn in a consistency check on the number of
parsed variables.
Minor upgrade, rules improvement.