Control/data flow graph synthesis using evolutionary computation and behavioral estimation