TermContext is not a JavaSymbolicObject
fix imports
wip