def reset_globals():
    """
    Reset mucalculus.model related global variables.
    
    Must be called whenever (and before) pynusmv.init.init.deinit_nusmv
    is called.
    
    """
    global __bddmodel
    __bddmodel = None
