Causal model checker