add new variable example to livenesstest
propagate flow condition (pred/succ condition) to elements tracked by monotone framework