Simple value propagation pass and symbolic equivalence, printing of Tul nodes