[AST Printing] Sligthly changes pretty printing of arguments

src/kernel_services/ast_printing/cil_printer.ml

...ic/tests/declared/oracle/empty-vpar-with-ghost.res.oracle

.../tests/declared/oracle/function-ptr-with-ghost.res.oracle

...ariadic/tests/declared/oracle/no-va-with-ghost.res.oracle

...iadic/tests/declared/oracle/rvalues-with-ghost.res.oracle

...riadic/tests/declared/oracle/simple-with-ghost.res.oracle

.../declared/oracle/typedefed_function-with-ghost.res.oracle

tests/cil/oracle/insert_formal.res.oracle

tests/pretty_printing/oracle/ghost_parameters.res.oracle

tests/spec/oracle/assigns_from_kf.res.oracle

...tax/oracle/attributes-declarations-definitions.res.oracle

tests/syntax/oracle/ghost_parameters.2.res.oracle

.../syntax/oracle/ghost_parameters_formals_status.res.oracle

...syntax/oracle/ghost_parameters_side_effect_arg.res.oracle

tests/syntax/oracle/undeclared_local_bts1126.res.oracle