Fixes to reachability example
Test for union evaluation