gitdir: ../../.git/modules/submodels/SoftConciseNormalForm
