alloy2/models/distalg
