Oración 1: la desventaja principal es que este análisis es realizado sobre una ejecución específica, esto significa que se tiene en cuenta únicamente las variables que el programa usó en esa ejecución
Oración 2: a medida que las variables de ejecución cambien, la ejecución del programa va a tomar otro rumbo
Conector: es decir,
Relación: entailment
Género: theses