rename Merger.k to AADL.k