move ADT manipulation functions to ADT.cpp/h from LocalAnalysis