further enhancement in predicate loc_change, i.e., checking object id beforehand