add premise about property of convertToOriginalContent
make the test of convertToOriginalContent runnable (But doesn't pass)
list up elements of HTML content of an activity