because the associated simplifications can turn invalid statements into valid statements (based on patch by Aleksa Todorovic, mantis #15594) git-svn-id: trunk@14998 -