fix(or): join an or sharing no variable with earlier clauses as a cross product (#610) - #612

fix(or): join an or sharing no variable with earlier clauses as a cross product (#610)#612

adityamukho merged 2 commits into

v3project-minigraf/minigraf:v3from

fix/610-or-cross-productproject-minigraf/minigraf:fix/610-or-cross-productCopy head branch name to clipboard