Semantic tree test"
"
?
Semantic tree test 2"
support logical equivalence
complete