Include VariablePredicates in ConstantProxy.