Call stack information is lost in the optimization pass

[giovinazzo-kevin]

Predicates like assertz and retract have trouble qualifying their argument with the correct module. This is because the compilation and optimization steps elide information about call sites.