Syntax for reachability unit tests