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.
Tags are associated to your profile if you are logged in