Sziasztok!
Varhato modon en voltam a buta.
A hibat nem az
A = (X #= Y),
hivas okozta, hanem kicsit kesobb egy
UjFeltetelek = (A #= B) #/\
Feltetelek,
es a problema megoldodott amint bezarojeleztem az
egyenloseg utani reszt:
UjFeltetelek = ((A #= B) #/\
Feltetelek),
Udv
Zsolt