Sorted minor conflicts in satisfiability obligation
Merge remote-tracking branch 'origin/newpog' into vb

Conflicts:
	core/analysis/pog/src/main/java/eu/compassresearch/core/analysis/pog/obligations/CmlSatisfiabilityObligation.java
Merge remote-tracking branch 'origin/newpog' into vb
Merge remote-tracking branch 'origin/newpog' into vb

Conflicts:
	core/analysis/pog/src/test/resources/adhoc/adhoc.cml
Merge remote-tracking branch 'origin/sdf' into vb
Couple of more fixes to TP Visitor
Test for old value of variable not showing up in PO for implicit
operations.
Merge remote-tracking branch 'origin/newpog' into vb
Merge remote-tracking branch 'origin/sdf' into newpog