query rewritting
eliminate subp rule
use equivalent predicates in queries - rewrite subp reasoning
due to a potential bug in query engine - avoid reseting nil values