exception VerdictNotWellFormed of string

exception InternalRepresentationError of string
exception NotImplementedError of string

exception TranslationError of string
exception UnAnnotatedLock of string
exception ProcessNotWellformed of string
exception NoNextState
exception UnassignedTerm
exception InvalidPosition of string
exception NotInRange of string
exception ImplementationError of string
