'This method figures out how many arguments the predicate takes and
returns a tuple containing that number of unique variables.'

def _make_unique_signature(self, predHolder):

    return tuple((unique_variable() for i in range(predHolder.signature_len)))
