let fused_initial_state = lazy (State_set.join AnalysisParam.initial_state)