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