Modified sanity check on DSL rewrite