module Debug.Vampire (structFor, valueFor, toGraph, viewExpr, rewriteFile, wrapExp) where

import Debug.Vampire.Analyze
import Debug.Vampire.Rewrite