added basic ast specification for taschmid