Function unsolved 

fn unsolved<'t, Split: SplitStrategy>(
    checker: CheckRef<'t, '_, Split>,
    app: &'t ApplicationTerm,
) -> Option<Term>