alloy2/models/bugs/bug2/models
