check raises with a pred