Added on-demand contracts assertions
added a refute_that test