alterado liveness.cpp e .h