pub fn is_settled(could_do_otherwise: bool) -> bool
Is φ settled — true on all histories (the agent had no real choice)? could_do_otherwise is whether an alternative history avoided φ.
could_do_otherwise