[Tests] uniformization with master

tests/syntax/bts0519.c

tests/syntax/ghost_cv_parsing_errors.c

tests/syntax/ghost_else_bad_oneline.i

tests/syntax/inconsistent_decl.c

tests/syntax/inconsistent_global_ghost_spec.c

tests/syntax/merge_unused.c

tests/syntax/multiple_assigns.i

tests/syntax/multiple_froms.i

tests/syntax/oracle/multiple_froms.res.oracle

tests/syntax/reject_use_decl_mismatch_bts728.c

tests/syntax/type_redef.i

tests/syntax/typedef_namespace_bts1500.c

tests/value/empty_base.c

tests/value/recursion.i

tests/value/split_return.i

tests/value/traces/test5.i

tests/value/unknown_sizeof.i

tests/value/use_spec.i