alloy2/models/bugs/bug12/models
