backannotation verification