Add identification for unreacheable specs

Mark as error each Example or Context that is inside a valid Example.