gitdir: ../.git/modules/liquid-fixpoint