(self, variable: SimVariable)
return self._variables_to_unified_variables.get(variable, None)
Return the unified variable for a given SSA variable,

        :param variable:    The SSA variable.
        :return:            The unified variable, or None if there is no such SSA variable.
Return the unified variable for a given SSA variable,
Return the unified variable for a given SSA variable
def unified_variable(self, variable: SimVariable) -> Optional[SimVariable]:
        """
        Return the unified variable for a given SSA variable,

        :param variable:    The SSA variable.
        :return:            The unified variable, or None if there is no such SSA variable.
        """

        return self._variables_to_unified_variables.get(variable, None)
def unified_variable ( self , variable : SimVariable ) -> Optional [ SimVariable ] : return self . _variables_to_unified_variables . get ( variable , None )