Add in post-CFG validation for variable declaration and instantiation