readded methot for retrieving type errors in order to write all type errors into a single file for debugging faulty ifdeftoif transformations
Merge remote-tracking branch 'origin/defusecleanup' into defusecleanup