parser CTL