fixed reachability search on OR substitutions