scan.cc: extract_skip: use pet_expr_from_index