Made rule_has_norm, simplifies things a bit.