source-location-known? should not rely on "span" field