Mark param defs of tailrec methods mutable only if modified.