working on linear-time properties
add starvation listing example
add auto/