Added a README file explaining 2 output differences

Also added semantic validations of switch statements