fixed precision bug in mergeing of symbolkc variables (see PointsToEdge changes). other small fixes and utility methods to support scwala