Library and tools to compare identity-free regular expressions with intersection.