public void restaura() { super.restaura(); pilhaFuncao.pop(); }
public void incrementa() { super.incrementa(); pilhaFuncao.push(new HashMap<Id, DefFuncao>()); }