Implement Intersection, edge functions in State and add a draft a determinisation function