Thank you for a useful advice. I create a mock of a procedure. I load module
file, get a procedure AST out of it. Then I try to replace its body with assert
statements.
assert(a == values.a)
assert(b == values.b)
Runwhere a and b are arguments of the procedure
