Create CheckFoldable.cpp