primeiro commit livenessAnalysis terminado falta implementar DCE Makefile modificado