Separating logging information from other function arguments

[FrogOfJuly]

There are multiple places where CtElement is passed only for logging information. I think it is better to create separate type and pass it around instead.

Examples:

liquidjava.processor.context.Contex.addVarToContext
liquidjava.processor.refinement_checker.object_checkers.AuxStateHandler.createStatePredicate
liquidjava.processor.refinement_checker.TypeChecker.checksStateSMT (changed to other other type already)

[FrogOfJuly]

I see three options

• Leave code as it is and update javadocs to show that argument is for logging.
• Wrap element in structure with getter for element. Call the type LoggingInfo and pass it around.
• Implement LoggingElement as "const" CtElement forwarding "const" methods to element inside as they are.

Third option is the most typesafe, but the most troublesome. The issue is that some const methods return other elements. I don't know if it is possible to replace them Logging.

[alcides]

I've looked into this, and the PR looks too outdated, that I believe this could be tackled from scratch easily.
However, I do find either the second or third approach the best (thinking of improving error messages later down the line, the second seems actually more useful).