added some local assertions and a working makefile for those tests