string concat function
more checking
allow control flow in induced cfgs, and various related fixes