Added warning in case of causal cycles. Massively reduced the state space by reachability