added a rule to remove regular patterns from the set of valid chains, deactivated for now because of little effect on precision but lower runtime (p=57.07, r=59.79)