added support CASE statements on the reachability method