pull up search space generator
sensitives
recursive generic constraints
fsm analyzer
fsm analyzer