IF ELSE VERSUS CASES FORMALISM