[semidet]expand_macros(+Module,
+TermIn, -TermOut, +PosIn, -PosOut)Perform macro expansion on TermIn with layout PosIn
to produce
TermOut with layout PosOut. The transformation is
performed if the current load context module is Module (see prolog_load_context/2).
This predicate is not intended for direct usage.