I have a lazy rule which contains a resolveTemp. The resolveTemp has a pattern which another lazy rule matches. However, I never achieve a match. I thought this was supported, did I misunderstand the User Guide? The guide states this is possible "the target pattern and do sections of a called rule, provided that this called rule is executed after the matching phase (e.g. is not called from a transformation entrypoint)."
If I change the latter rule from a lazy rule to a called rule then I see a match.