Skip addition of trivial constraints to canonical representation of the linear relation#70

nategraf merged 4 commits intomainsigma-rs/sigma-proofs:mainfrom

victor/a-check-and-a-questionsigma-rs/sigma-proofs:victor/a-check-and-a-questionCopy head branch name to clipboard