CFSTEquiv

A tool that tests if two context-free session types are equivalent.