Function string_pred 

pub fn string_pred(
    runtime: &Runtime,
    _env: &[Value],
    args: &[Value],
    rest_args: &[Value],
    dyn_state: &mut DynamicState,
    k: Value,
) -> Application