Term context is not a JavaSymbolicObject