Running the share testsuite twice gives 47 errors on second run. in particular:
Input:
(f(x,y):=if equal(y,0) then 0 else 1/x,[f(8,n),f(m,7)])
Result:
define: function name cannot be a built-in operator or special symbol; found: ?\(NONE\)|f
error-catch
This differed from the expected result:
[if equal(n,0) then 0 else 1/8,1/m]