Coho Reachability Analysis Tool