An indicative invariant
	inv Overlaps {   all s,t | s.from = t.to && s.to = t.from     -> s in t.overlaps   all s | s in s.overlaps }