Merge pull request #797 from hacspec/fix-potentially-looping-predicat… #208

Job	Run time
build-and-deploy-external-gh-pages	52s
build-documentation	7m 42s
deploy-documentation	1m 2s
	9m 36s

Provide feedback