Revert "Tests 27 01: Replace && in assert with & as the annoatations do not interact well with CIL truning this into separate if statements"
Revert "Tests 27 01: Replace && in assert with & as the annoatations do not interact well with CIL truning this into separate if statements"

This reverts commit 651a4cd7b4888672bbb55ce59130026e0a920d96.

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