checkmate: no more checkArgs to be found
checkmate: check in asssert()