Could it be the same Verfier issue as Verifier 1.385 fails with "1 missing mandatory dependency" on CI only?