Quantified CTL: Expressiveness and Model Checking - (Extended Abstract)