Added ControlFlow.lhs
Mad changes