use assertion to enforce that a proper function definition is passed to the monotonefw
add sbt script to simplify compilation, ...