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