./scripts/pure analyses/puresymbolic/Multiple tests/unit/deswitch 1
is failing