Change formatting of SimpleTest.java in examples
Fix print of SootFrameDomain properties
Fix use of the sparse LinearForm constructor
Fix some operations in SootFrameNumericalDomain