<<<<<<< HEAD <<<<<<< HEAD <<<<<<< HEAD <<<<<<< HEAD ======= >>>>>>> 71108d46... VAMPIRE: Implement wf constraint handling ======= >>>>>>> ce5aafc0... VAMPIRE: fix model generation ======= >>>>>>> 5d1165ce... VAMPIRE: Implement Vampire measurement code ======= >>>>>>> 4d27f278... VAMPIRE: last commit