fixes

 - do not print refs. in box mode
 - auto-delay derivation trees in tikz mode