Removed the submodule.
Added a dependency to the checker framework.
Updated the makefile and the filled array program.
Updated the default-qualifiers program.
Updated enumerate.
Updated if-null.