Modified CNF encoding in CBMC causes different result values