Follow-up from "Precheck: Restore compatibility with application": refactor code in lib

The following discussion from !4871 (merged) should be addressed:

• @iguerNL started a discussion: (+1 comment)

  Could we reimplement inject_operation using this version to avoid duplicating code.

_ [ ] same for forge_and_inject

• update docstrings in ml as well