Fix specs for be_reachable matcher