Characteristic predicate ModuleVariable :: ModuleVariable
ModuleVariable
(
)