SUBST: free the sub-context also if we have a negative conditional.