Hybrid system solver: Fixed a bug resulting from recent change in
event tree inclusion testing.  States in fixed-point nodes need to be
considered when constructing the final time enclosure because the
fixed point witness may have been outside the mode invariant when
it is the root enclosure, thus getting discarded.