move dumptable definition to ADT
cleanup code in propagate analysis