Removed faulty CEq of Reference(CRef(<fresh-var>)) pattern that @rmhartog spotted. Replaced with CSub of Reference(CRef("java/lang/Object"))