- adding priorityqueue.c (weird: without lemma multiply_positive, VeriFast gets into a matching loop)
- adding priorityqueue.c (weird: without lemma multiply_positive, VeriFast gets into a matching loop)

willempx/verifast,willempx/verifast,willempx/verifast,willempx/verifast,willempx/verifast