liveness.cpp readded