public function fixConstraint($constraint)
{
if (Constraint::isDisjunctive($constraint)) {
$constraint = Constraint::findMax(explode('|', $constraint));
}
$pos = strpos($constraint, '@');
if ($pos !== false) {
$constraint = substr($constraint, 0, $pos);
}
return $constraint;
}