add end_pos column in view
use preVisit2 to replace each visit method
add resolve other sat