//adapted from LH test Strings.hs

constant lit#bar : (Str)
constant lit#foo : (Str)

distinct lit#bar : (Str)
distinct lit#foo : (Str)

constraint:
  env []
  lhs {VV#F1 : int | []}
  rhs {VV#F1 : int | [(lit#bar != lit#foo)]}
  id 1 tag [6]