fixed builder check of reachability when by passing a super state