'Try to find a formula that matches func.'

def lookup_origin(self, func):

    if (not (func.signature in self.formulae)):
        return None
    for formula in self.formulae[func.signature]:
        res = formula.try_instantiate(func)
        if (res is not None):
            return res
