fix: tr.588  reconsidered (syz,intersect,modulo and returnSB)
tests for dumb things: tr.590,588,579,576