Add checker-framework