DSLX interpreter restricts function unit tests when proc with state is present

If I have a function and a proc (that has a state parameter) defined in the same file, and a unit test for that function but no unit test for the proc, the interpreter will not execute the function unit test. The interpreter searches for a "top proc" in any file (for creating boundary channels), and if one is found, it tries to bind an initial value to that proc. If one isn't specified, then the interpreter will exit, citing the lack of an initial value for that top-level proc.

I don't have an immediate solution to this; perhaps make --top required for IR conversion of procs?