- hotspots, constraint checking