compassion on nuxmv/nusmv - CTL and next

Question

1. Is there any way to use compassion for CTL?
2. Is an option to write an expression with next(state) on compassion expression? Thanks