added liveness.sml (tests needed)