let eps := ""
assert(eps = "")
assert(eps /= "foo")