Rewriting MLHS to use the PyTwitch Package