Found NotNull
Found lower
Found 2
A single ident is always a pattern
A single ident is always a pattern