1 ; This test checks the correct output behavior of SMT-LIBv2 symbols
2 ; (sometimes they have to be |quoted| with pipes).
5 (declare-fun |toto| () Bool)
6 (declare-fun |to to| () Bool)
7 (assert (and toto |to to|))
12 ; EXPECT: (define-fun toto () Bool true)
13 ; EXPECT: (define-fun |to to| () Bool true)