Determine Instantiation point granularity

See core/dune-common!633 (comment 54143)