Polyinstantiation Integrity in Multilevel Relations Revisited