Move #include <assert.h> before ASSUME/NOT_REACHED.