def METHOD_NAME(
    self, all_ssa_state_variables_instances: Dict[str, "StateIRVariable"]
) -> None:
    from slither.slithir.utils.ssa import add_ssa_ir, transform_slithir_vars_to_ssa
    from slither.core.dominators.utils import (
        compute_dominance_frontier,
        compute_dominators,
    )
    compute_dominators(self.nodes)
    compute_dominance_frontier(self.nodes)
    transform_slithir_vars_to_ssa(self)
    if not self.contract.is_incorrectly_constructed:
        add_ssa_ir(self, all_ssa_state_variables_instances)