progress on reverse engineering control structures
abstract out generation of lub/phi valdefs