finalizing copying of semantic analysis to the visitor