Function check_operation_name 

pub fn check_operation_name<'c>(
    context: &'c Context,
    input_op: Value<'c, '_>,
    true_dest: &Block<'c>,
    false_dest: &Block<'c>,
    _name: StringAttribute<'c>,
    location: Location<'c>,
) -> CheckOperationNameOperation<'c>

Creates a check_operation_name operation.