let
assigns_goal _env _sloc _lto = unsupported
"proof of assigns clauses"