Initial version of LabelInsideSwitchChecker