muterm: Error (Terms): Symbol _+_# has no 3 arguments.