Standardize isTop, isBottom, isEmpty, top and bottom for abstract properties
Move addVariables to DimensionFiberedProperty and rename it to mapVariables
Fix a newly introduced bug in SootFrameObjectDomain
Remove test worksheet from the repository