RefinementFailure is defined in NAGtypes already