Add Attachment:STR-748: Verify that else branch in MkClosure is a valid case