Avoid recreating default R1CS instance#110

adr1anh merged 1 commit intolurk-lang:devlurk-lang/arecibo:devfrom

adr1anh:109-supernova-duplicated-variablesadr1anh/arecibo:109-supernova-duplicated-variablesCopy head branch name to clipboard