[Realize] Throw an exception when the abstract signatures are not the same
Example:
tag_yields derivations_trees realize adorer_90_14 Is_A Ivp_A Rita_21_0 (de_602_0 In_A Ipp_A Floride_11_0 (le_1121_0 In_A plage_1480_0)) : s;
Prochaines maintenances programmées: mardi 02/04, lundi 06/05, lundi 03/06
Pour plus d'informations: https://doc-si.inria.fr/display/SU/Gitlab
Example:
tag_yields derivations_trees realize adorer_90_14 Is_A Ivp_A Rita_21_0 (de_602_0 In_A Ipp_A Floride_11_0 (le_1121_0 In_A plage_1480_0)) : s;