some test cases for texpr