let parse_constraint_from_string s = 
  parse_constraint_from_channel "" (Lexing.from_string s)