booleanExprContract.txt 6 KB