Currently, a lemma customization is specific to a particular lemma. However, it would be useful to have a customization apply to all generated lemmas involving a certain instruction. For instance, if an instruction performs a certain piece of tricky modulo arithmetic, the developer may find it useful to request invocation of a certain lemma about modulo arithmetic in all lemmas involving that instruction.
Currently, a lemma customization is specific to a particular lemma. However, it would be useful to have a customization apply to all generated lemmas involving a certain instruction. For instance, if an instruction performs a certain piece of tricky modulo arithmetic, the developer may find it useful to request invocation of a certain lemma about modulo arithmetic in all lemmas involving that instruction.