Assert doesn't seem to get "formalized" if introduced inside of a function.

The same code within a process generates assert in formal run.

to run: ./assert_in_function_tester

With the process uncommented, the tool produces an assertion in step 5.

With the process commented, the tool doesn't produce any asserts.