True if RenamedSICSTusModule is the name that we use for the
SICStus native module SICStusModule. We do this in places where
the module-name conflicts. All explicitely qualified goals are
mapped to the SICStus equivalent of the module.
Tag confusing pages with doc-needs-help|Tags are associated to your profile if you are logged in