introduce pint-sg --reachable-attractors