add alpha-expansion-fusion and orderreduction code by Alexander Fix