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