Selective Mu-Calculus: New Modal Operators for Proving Properties on Reduced Transition Systems