emptyQueue

fun emptyQueue(): ClauseQueue

Creates an empty ClauseQueue