Started implementation of product.
prova
Continuing the development of domain's product
To be reviewed
Modify unionWeak, intersectionWeak and isFull
Modified EQ operation
Some simple examples.
Controllo errore iinc
Corretti errori nei parallelotopi.
Aggiunte altre funzioni nel prodotto.
Controllare identityInst dentro BafMethod e evalSwap dentro SootFrameNumericalDomain
Modificato evalSwap dentro SootFrameNumericalDomain e riscontrate anomalie nel funzionamento di assignLocal
Add class DimensionFiberedDomain as ancestor of Numerical and Object domains
Added some methods to domain product
Add methods addVariable/s and delVariable/s to DimensionFiberedProperty
Merge branch 'domainProduct'
Renamed empty --> bottom
        full  --> top
Conflicts:
	core/src/main/scala/it/unich/sci/jandom/domains/numerical/Parallelotope.scala
	core/src/main/scala/it/unich/sci/jandom/domains/numerical/Product.scala
Standardize isTop, isBottom, isEmpty, top and bottom for abstract properties
Move addVariables to DimensionFiberedProperty and rename it to mapVariables
Fix a newly introduced bug in SootFrameObjectDomain
Remove test worksheet from the repository
Fixed error in assignment