Added while loop to verifications, reworking ibstances sequence.