Fast polyhedra abstract domain | Synapse