check - ¿Cómo se especifica la sintaxis de la acción 'check' en CASL?