• BooleanUtils
• LongUtils
• ModelParameter
• PhasePredicates
• PhasePredicates3
• RelationsPredicates
• StatementGeneratorContainer
• TopologicalPlugin
• VariableLocation