Liveness

last version of variability-aware control-flow implementation
different variability data-flow implementations using the monotone framework