Incomplete CTL Model Checker