Example for assertions in mistfile