Add DISEQ special case to octApron due to missing Apron support
Add DISEQ special case to octApron due to missing Apron support

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