Ora, no caso sub judice, apenas se extrai da factualidade provada que o SIGMA é uma evolução do SIGRes3e com novas funcionalidades e oito novos módulos, sem que se retire, em concreto, dessa factualidade em que é que consistiu essa evolução, designadamente, se foram ou não aproveitados para o desenvolvimento do novo programa os elementos expressivos do anterior.