Inductive Analysis when State Enumeration Explodes