fa/: change "predator" to "forester" in file head comments
fa/treeaut: TA::getUnboundedOccurTrans()
fa/unfolding.cc: add preliminaries for solo box unfolding
fa/treeaut.hh: getUnboundedOccurTrans() - remove check for presence

Removed check for presence of transition, as it might have been inserted
in collectReachableTrans.
fa/unfolding.cc: do not print transition twice