<<<<<<< HEAD

=======

>>>>>>> 71108d46... VAMPIRE: Implement wf constraint handling