fix bug in deleting error reason files
update JetBrains.Annotations.dll to v 8.0.4

add Pure and ContractAnnotation to StringExtensions