Update the README and output files of bounds. Added the IfElse_Valid_1
test case.