I think it will be sufficient to put a ```@see``` annotation that points to the method in ```KILtoBackendKILTransformer``` that performs the partial evaluation in the RHS of a rule.