Overview

Current working code is in SSAValueRangeProp.cpp

Inserts assert PHINodes into functions.