Use refute instead of assert false (ugly)