1. ENHANCED: Debug subformulas are now bracketed to disambiguate.
2. FIXED: Condition 2b from the Halpern model was not yet implemented.
3. ENHANCED: Causal paths Zs have the connect variables from the cause to variables from the caused.