Should not visit an instruction twice when computing basic blocks