Function push_halmos_array_lengths 

pub fn push_halmos_array_lengths(
    values: &mut Vec<String>,
    value: &str,
) -> Result<(), String>