No longer consider an equation of the form “x(+1) = 0” as defining x to be a constant
Passed
Sébastien Villemot
created pipeline for commit
1cc51296
, finished
For master
4 minutes 11 seconds, queued for 21 seconds