Revisited disjointness constraints implementation:
  -- Now the constraints are added to the path formlula in places of the corresponding allocations
  -- Each variable even if it is pure has now corresponding address variable with its corresponding constraints
PredicateWithUF launch configuration
Removed NOMERGE prefix from base variables and removed the corresponding check for the prefix when merging as well
Changed variable naming policy: now all address variables are named with prefix __ADDRESS_OF_
Small fixes needed due to preliminary transformations elimination (->s and &((struct s *)0)->f constructs)