First set and followsets are separated for a more fine grained check