updating files
after assertions.ml creation
in particular makefile