`ID.project` to enable additional domains only works when `ana.int.refinement` is activated

[michael-schwarz]

Otherwise, project will only create tops in the new domain which are never refined. We should either check that we are not using annotations for different int precisions in different functions when ana.int.refinement is off, or refine by default for project calls.

This may also be of interest for SV-COMp where the autouner enables congruences for some functions, but the arguments given to such functions are not used to derive congruence information (e.g. when they are constant).