tests in tests/pdg pass

tests/pdg/bts1194.c

tests/pdg/oracle/bts1194.res.oracle

tests/pdg/oracle/calls_and_implicits.res.oracle

tests/pdg/oracle/calls_and_struct.res.oracle

tests/pdg/oracle/const.res.oracle

tests/pdg/oracle/dyn_dpds.res.oracle

tests/pdg/oracle/inter_alias.res.oracle

tests/pdg/oracle/multiple_calls.0.res.oracle

tests/pdg/oracle/multiple_calls.1.res.oracle

tests/pdg/oracle/no_body.res.oracle

tests/pdg/oracle/top_pdg_input.res.oracle