User blog comment:P進大好きbot/Analysis of 非想非非想 notation/@comment-36957202-20190801181858/@comment-36984051-20190806023607

Try BMS4. If you think that’s I’ll-defined or whatnot, you could try TON.