fix arith_hook printer in FOTerm