alloy2/models/bugs/bug1/models
