Remove BasicBlock Values#1841

yuleisui merged 10 commits into

SVF-tools:masterSVF-tools/SVF:masterfrom

mbarbar:no-bb-valmbarbar/svf-public:no-bb-valCopy head branch name to clipboard