Post-analysis analyze this term in this scope

In IceDust, I create new IceDust expressions during compilation. In order to be able to compile to a target language, these expressions need to have types (and resolved references). Would it be possible to add analyze-ast(|scope) term -> analyzed-term?

Workaround:

Duplicate NaBL2 rules in stratego

Store the results in annotations

Duplicate type-query rules to work for both scope graph and manual annotations