Symbolic Analysis of Higher-Order Side Channel Countermeasures