a new component for ADT execution is added. some minor changes.