Distributed Maximality based CTL Model Checking