core: use synthesis when checking run casts