Bei der Implementierung von Moebius könnten potenzielle Probleme auftreten, insbesondere im Zusammenhang mit der Behandlung von Mustern und der Ausführung von Code. Ein mögliches Problem ist das Fehlen von Garantien für das Abdecken von Mustern im Code. Dies könnte dazu führen, dass bestimmte Muster nicht erkannt werden und die Ausführung stecken bleibt. Ein weiteres Problem besteht darin, dass Moebius keine Normalisierungsbeweise hat, was bedeutet, dass es schwierig sein könnte festzustellen, ob gut getypte Programme in Moebius terminieren oder nicht, selbst wenn das Problem der Musterabdeckung behoben wird.