Minor changes to fix support of explicit modules in assert/retract.
Authored by: dwarren 2019-02-10
Parent: [r9510]
Child: [r9512]