Set the function-level flag if one of `OpCode::StartVertexLocation`, `OpCode::StartInstanceLocation` is used. AC: Add tests to verify correctness of analysis.