Adding a basic implementation of 'Conditional jump or move depends on uninitialized value(s)'