Fix variabilizacion

Ahora tiene en cuenta expresiones NO-Variabilizables y se comporta
acorde para podar.
Merge branch 'directedmutations' of https://github.com/zeminlu/comitaco into directedmutations