Function fits_in_one_identity

fn fits_in_one_identity<F: AcirField>(
    expr: &Expression<F>,
    width: usize,
) -> bool

Checks if this expression can fit into one arithmetic identity