Added the C code of IfElse_Valid_2 whiley program