Add asserter definition.