inclusão no validador da execucacao para o rl-sim (apenas por conveniencia)