tests promote some good tests

tests/libc/oracle/string_c_generic.res.oracle

tests/libc/oracle/string_c_strstr.res.oracle

tests/libc/oracle/time_h.res.oracle

tests/pdg/oracle/sets.res.oracle

tests/saveload/deps.i

tests/spec/oracle/array_typedef.res.oracle

tests/spec/oracle/assignable_location.res.oracle

tests/spec/oracle/behavior_assert.0.res.oracle

tests/spec/oracle/behavior_assert.1.res.oracle

tests/spec/oracle/clash_double_file_bts1598.res.oracle

tests/spec/oracle/error_msg.res.oracle

tests/spec/oracle/generalized_check.0.res.oracle

tests/spec/oracle/generalized_check.1.res.oracle

tests/spec/oracle/merge_different_assigns.res.oracle

tests/spec/oracle/multiple_file_1.res.oracle

tests/spec/oracle/rm_qualifiers.res.oracle

tests/spec/oracle/shifts.res.oracle

tests/spec/oracle/statement_behavior.res.oracle

tests/spec/oracle/transitive_rel.res.oracle