decomposition.cpp(0): CHECK( genType(false) ) is NOT correct! values: CHECK( {?} ) decomposition.cpp(0): CHECK( a ) is NOT correct! values: CHECK( {?} ) Program code.