Cleaned a comment.
Updated the comments for TransformationAwareErrorListener.
Updated the comments for TransformingParseTreeListener.
Updated the comments for TransformingParseTreeListener.
Updated to use the new smt-asserts API.