preparing to specialize calls only once before symexec

specialize = args&rets substitutions