Verification system for effectful programs
