extracted rete printing to separate file