funny enough, .gitignore is not ignored :D
parameterized proof obligation dir (yet in hard in .gitignore)