nieuwe constraint

we hebben nog een contraint toegevoegd (omdat soms ten onrechte een geval werd geaccepteerd) 
"check-proofsteps: not basestep (not recognized)"
NE Dit is geen correcte instantiatie van een basisstap
EN This is not a correct instantiation of a basestep

idem voor inductiestap

en voor ihstep:
NE Dit is geen correcte inductiehypothese
EN This is not a correct inductionhypothesis