Makefile updated to occurrence_checker
Keep working on foldTraverse
Basic code to test basic functioning of check_occurrence