Changed statement verification failure type to an enum