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