A fluent interface for defining and computing typestate analyses - View it on GitHub