In BaseVisitor.visitIfStatement, a copy of the VM in the else branch is
only built if the then branch is executed, too.
Calls of Heap.get(UUID) replaced by calls of
ReferenceSlot.getObject(Heap).