pub type Constraint = Vec<Variable>;
In GR1CS a constraint is a vector of linear combinations associated with a predicate
pub struct Constraint { /* private fields */ }