Add more reachability arguments.