std_expr.h: use exprt::check consistently#8831

tautschnig merged 1 commit intodevelopdiffblue/cbmc:developfrom

std_expr_cleanupdiffblue/cbmc:std_expr_cleanupCopy head branch name to clipboard