anlib: compute reachable states