@typed(sr=SourceRef)
def __specify(self, member_ref, Sm, sr):
    assert (Sm is not None)
    _error_if_defined_before(member_ref, sr)
    if (not Sm.is_DFA_compliant()):
        Sm = beautifier.do(Sm)
    member_ref.set(Sm, sr)
@typed(sr=SourceRef)
def __specify(self, member_ref, Sm, sr):
    assert (Sm is not None)
    _error_if_defined_before(member_ref, sr)
    if (not Sm.is_DFA_compliant()):
        Sm = beautifier.do(Sm)
    member_ref.set(Sm, sr)