Module Gillian.Abstraction

module MP = Engine.MP
module Verifier = Engine.Verifier