Gives a freshly produced ClauseQueue including the given Clause in the first position and the content of this one