a simpler relation on pprog's that might help prove pstep_loopfree
a simpler relation on pprog's that might help prove pstep_loopfree

mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl