TestTree at MBT 2018