c=c wordt niet vervangen door true.
Issue #350
new
De literal c=c met c een constante wordt helemaal geground.
Comments (1)
-
reporter - Log in to comment
Should be solved by applying the new transformation which detects identical terms on the whole theory.