Problem Checker Framework Null checker and lambda

Question

Example Java code:

import org.checkerframework.checker.nullness.qual.Nullable;

import java.util.function.Supplier;

public abstract class LambdaTest {

  abs