':param binding_list: list of (``AbstractVariableExpression``, ``AtomicExpression``) to initialize the dictionary'

def __init__(self, binding_list=None):

    self.d = {}
    if binding_list:
        for (v, b) in binding_list:
            self[v] = b
