OnlyWidening

BoxStrategy

Ops

Domain Magma

op

Magma

orderingIsDomain

LowPriorityImplicitDomains

outgoing

GraphEquationSystem SimpleGraphEquationSystem