...
add: some java sample code for Term.mk(...) in testcase