msc & pulse2: some fixes on variables assignment check