failfailure expression:

pass failfailure reason: error.semantic not generated!error.semantic not generated!