Maude 101 with termination checker hooks