No longer consider an equation of the form “x(+1) = 0” as defining x to be a constant
Passed
Normann Rion
created pipeline for commit
1cc51296
, finished
For master
7 minutes 29 seconds, queued for 137 seconds