proverif_before!, proverif_after!, proverif_replace! are not working

[W95Psp]

PR #614 adds support for new ways of inlining backend code within Rust.
In the ProVerif backend, certain kinds of items (e.g. Fn vs Type) are outputted in different parts of the output pv files.

I suspect we need to add a proverif_options field to ItemQuote to allow the user to place the item. Or maybe we should just inherit the position of the item the attribute was on?

@jschneider-bensch what do you think?

[github-actions]

This issue has been marked as stale due to a lack of activity for 60 days. If you believe this issue is still relevant, please provide an update or comment to keep it open. Otherwise, it will be closed in 7 days.

[jschneider-bensch]

Need to look into the necessary changes a bit more, but should address this, since it would be good to have e.g. when addressing cryspen/bertie#116.

[github-actions]

This issue has been marked as stale due to a lack of activity for 60 days. If you believe this issue is still relevant, please provide an update or comment to keep it open. Otherwise, it will be closed in 7 days.

[github-actions]

This issue has been closed due to a lack of activity since being marked as stale. If you believe this issue is still relevant, please reopen it with an update or comment.

[W95Psp]

This was closed by #1023

E.g. https://hax-playground.cryspen.com/#pro-verif/63432cffd5/gist=5413937cec1e6e6fba3e0de344f302c1