LTCS – Report Complementation and Inclusion of Weighted Automata on Infinite Trees : Revised Version