Member predicate SsaWithFields::similar

Gets an SSA-with-fields variable that is similar to this SSA-with-fields variable in the sense that it has the same root variable and the same sequence of field accesses.