Transformation of overridden versions of inetrface rules is not always workign correctly

There is a bug in the rule lookup code which means that the Transformer does not always correctly inject through interfaces into overriding implementations of methods i.e. it sometimes fails to handle ruels of the form

RULE my rule
INTERFACE ^MyInterface
. . .