Function push_variant 

fn push_variant<T>(
    variants: &mut Vec<T>,
    variant: T,
    limit: usize,
) -> Result<(), SymbolicError>

Adds one expansion variant while enforcing the configured symbolic path-width budget.