Fixed XTend to support CTL specifications