alloy2/models/bugs/bug10/models
