Solved https://github.com/kristian-lange/MechArg/issues/26.