added non-exceptional CFG class to support getting dominators that do not include exceptional edges. exposed more functionality for scwala