Resolve query-files/crypto-tests/tea_four_round_one_var.stp.cvc test.
The result of the test was confirmed using CVC4.