eliminate rules with statically false conditions