frontend: move annotations to check_annotation