Barra de condiciones
En caso de que alguna de las interpretaciones del modelo evaluable minimal esté afectada por alguna condición, aparecerá en la parte izquierda de la pantalla una lista con todas las condiciones que afectan a cada una de las interpretaciones del modelo, con sus respectivos valores. Podemos modificar dichos valores para ver en el árbol las interpretaciones que serán incompatibles con los nuevos valores elegidos.