add vc of append and tll verification