Fix trace construction (ssa encoding), Missing support for predicates over anonymous objects