pub fn canonicalize<Cvar>(
    x: Cvar
) -> Option<(Vec<(Cvar::Field, usize)>, usize, bool)>where
    Cvar: SnarkyCvar,
    Cvar::Field: PrimeField,