fixed some errors in abstree building (worng statement order)