Refactored from TextNodes to TextDocument => Now TextNodes are light-weight version of nodes in raw texts.
CodeSharper.Core/Common/ConstraintChecking/
  - Added DebuggerStepThrough attribute to methods in constraints for skipping these methods