PS3 markovization, unaryrewrites, preterminals
PS3 binaries