comment the assertion and some dbf info, because some basic block will really be analyzed more than once which leads to exec the new and multinew instructions multiple times