simplify monotone frameworks a bit (turns out we don't need top and subset)
add print statement to force variable liveness