Fix variabilizacion y poda por izquierda

Se identifican, provisoriamente, los mutantes de partes izquierdas de
asignaciones en fucion de si mutan expresiones del tipo termino.campo
unicamente en el termino, dado que esas son las unicas salteables cuando
da UNSAT al variabilizar a izquierda... y toda la logica de Stryker se
amolda a ello ahora.