@dkubb My xspec will have it. Morpher predicates already distinguish between value equality and pointer identity equality.