Gen function and tests
Display function for liveness variable lists