muterm: Error (Terms): Symbol D has no 3 arguments.