Class VariableReal

A “real” (i.e. non-synthesized) variable. This class only exists to avoid negative recursion warnings. Ideally, we would use VariableImpl directly, but that results in incorrect negative recursion warnings. Adding new root-defs for the predicates below works around this.