Function dummy_constraints 

pub fn dummy_constraints<F>(w: &mut Witness<F>)
where
    F: FieldWitness,