irverify: remove load/store from entity verification