pub fn get_all_constraints<Fp: Field>() -> Vec<E<Fp>>