def fun (a : String) and (b : String):
    let c = [ a, "x" ]
    let d = [ b : String, "y" : String ]
    guard (c /= d)

test Test:
    let x = "" : String
    fun "a" and "b"