model: fixed recursive call in constraints