fixed merge bug (avoid generalizing rules)