PreconditionInvariants: Create postcondition as disjunction of matching states.
PreconditionInvariants: Create postcondition as disjunction of matching states.

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