initial draft of CTL and LTL plausability checks