Package jetbrains.mps.smodel.constraints