get rid of optional argument in ret instruction in isa reference