Add checker and asserter