Cubicle 1.1.2 documentation and source : Cube.inconsistent

let inconsistent_set sa =
  try
    let _ =
      SAtom.fold (fun a acc -> inconsistent_aux acc a)
	sa ([], [], [], [], [], [], []) in
    false
  with Exit -> true