bool validerSignature(Clause &a, Clause &b) {

	vector<string> aVector = a.getIds();
	vector<string> bVector = b.getIds();

	string result_a = a.getResult();
	string result_b = b.getResult();

	aVector.pop_back();
	bVector.pop_back();

	cout << " wtf " << result_a << " " << result_b << " " << (result_a != result_a) << endl;

	return (aVector == bVector &&  result_a != result_a);
}