¿Por qué STATIK, a diferencia de CEDRUS, sólo genera una especificación automática límite para !ELU y a veces ninguna?

Dado que STATIK trabaja con una gran variedad de estructuras y a menudo no está claro desde el principio qué tipo de verificaciones deben llevarse a cabo, se prescindió de la generación automática de especificaciones de valores límite para ello.

Además, no se generan especificaciones de valores límite para ELU cuando se trabaja con conjuntos, ya que el programa no conoce el tipo de conjunto que se va a examinar.