fixed treatment of params/rets/modifies in Symbexe