fn join(lhs: Option<bool>, rhs: Option<bool>) -> Option<bool>
Joins two path states: reachable if either is, tainted if either is.