fix parallel overlapping calls of proof-shell-filter