extensions to reification to support seeds and multiple arguments.