Function parse_single_constraint 

pub fn parse_single_constraint(
    lex: &mut Lexer<'_, OPBToken>,
    var_names: &mut VarNameManager,
) -> Result<(PBConstraintEnum, Option<PBConstraintEnum>), ParserError>

Parse a single OPB constraint.