#17 Added [DebuggerStepThrough] annotation for contracts methods and [CallerMemberName] used for exception message.