Adding updated CBMC source