Symbol: verify_size_expr