Property Specification and Proof Scores of QLOCK
    The above three files and the four .cafe files in Lecture 3 are supposed to be put into the same folder/directory.