Evaluar posibilidad de añadir in type id para saber a qué tipo pertenece el invariante añadido.

[jordaninsfran]

biblioteca-dbc-cpp/Benchmarks/ED-ListaSE-en/contract.h

Line 93 in 96e6f61

invariants.push_back(p_lambda);