Realiza algumas adaptações em liveness.cpp