Fix asserter generator incrementing assertions count
Fix Makefile