Add PROPERTY_RULE_DISJ to guessing rules in rewriter