user and in
normal modules to redefine any system predicate. If the system
definition is redefined in module user, the new definition
is the default definition for all sub-modules. Otherwise the
redefinition is local to the module. The system definition remains in
the module system.
Redefining system predicate facilitates the definition of compatibility packages. Use in other contexts is discouraged.