network ctor now calls reset to get the initial fact no longer asserted by the initial-fact-deffacts
network ctor now calls reset to get the initial fact no longer asserted by the initial-fact-deffacts

RWTH-i5-IDSG/jamocha,RWTH-i5-IDSG/jamocha