SimpleAbstractState.Set glb as default for narrowing in class Lattice

handling this exception

Interval.satisfiesBinaryExpression

Conflicts:
	lisa/lisa-core/imp-testcases/interval/untyped_tutorial.intv_dec(tutorial__this).json
	lisa/lisa-core/src/main/java/it/unive/lisa/LiSAConfiguration.java
	lisa/lisa-core/src/main/java/it/unive/lisa/LiSARunner.java
	lisa/lisa-core/src/main/java/it/unive/lisa/analysis/heap/pointbased/PointBasedHeap.java
	lisa/lisa-core/src/main/java/it/unive/lisa/interprocedural/CFGResults.java
	lisa/lisa-sdk/src/main/java/it/unive/lisa/analysis/nonrelational/heap/HeapEnvironment.java
	lisa/lisa-sdk/src/main/java/it/unive/lisa/outputs/compare/JsonReportComparer.java
	lisa/lisa-sdk/src/main/java/it/unive/lisa/program/cfg/statement/global/AccessInstanceGlobal.java
	lisa/lisa-sdk/src/main/java/it/unive/lisa/type/ReferenceType.java

…to descending

phase algorithms

descending algorithms

and CFG

…to descending

ValueEnvironment that lubs the stacks values to.

to the original form. There are no more the join and meet method in the
FixpointImplementation interface, but a single operation method. In CFG
, the operation and equality method of the CFGFixpointImplementation
class use some FunctionalInterface that are passed to it at creation. So
that in the ascending phase lub, widening and the right equality
evaluation are passed and in the descending phase glb, narrowing and the
right equality evaluation are passed.

…to descending

WIDENING)

…to descending

which phase it is in (similarly for the equality method). The method
fixpoint in the class Fixpoint now accept a parameter to initialize the
rusult.

lubAux method