Renamed if-then-else.t to if-if-else.t