GitLab

=> useful to have a nice generated code for || (and also probably &&)

Merge remote-tracking branch 'origin/kvx-better2-cse3' into kvx-work

Issue #232

Note : the issue is still present later in Duplicateproof. This is
because I am examining an "identity ptree" which is way too big. I am
having a look to see if I could make this ptree less big - to not
include nodes that are identity