Cúram Evidence Generator Specification