alloy2/models/bugs/bug6/models
