extracting implications from #error directives, and outputting them to errorDirectives.txt