use only specific jars in java.home (hard coded)
include the type itself in the subtypes
consider Phantom objects in transferResult(). Map phantom to actual
objects
remove EmptyReturnObjectSet if there are no resultValues
removeRefWithoutEdge fixed remove
some checks for the consistency of heaps