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