Adding variable and property justification rule.