alloy2/models/bugs/bug11/models
