<<<<<<< HEAD <<<<<<< HEAD ======= >>>>>>> 71108d46... VAMPIRE: Implement wf constraint handling ======= >>>>>>> ce5aafc0... VAMPIRE: fix model generation