consertei alguns bugs e achei um no bipush, nao resolvido