Bugfix for mul-xor-shuffle and doctests for godel