Compiling with Verific library
------------------------------