equals

fun equals(queue1: ClauseQueue, queue2: ClauseQueue): Boolean