Revert "svcomp21.json: Include new options"
Revert "svcomp21.json: Include new options"

This reverts commit cdfc4e4f091a4f4f4a52f449c9f56ecfa58eb79c.

goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer