Add function to liveness check file
More example programs