Output annotations: Unnecessary coupling between FunctionTestDef and SystemInputDef

[kerrykimbrough]

In principle, the contents of a FunctionTestDef should depend strictly on the contents of the corresponding FunctionInputDef. The exception involves output annotations, since annotations defined by a SystemInputDef are applied to elements of its associated FunctionTestDef instances. Nevertheless, it should be possible to annotate a FunctionTestDef using only the annotations defined by the corresponding FunctionInputDef.