Generalizable safety annotations for specification of failure patterns