15: Pattern Match Exhaustivity: (Up, Down)
33: Pattern Match Exhaustivity: Down
51: Pattern Match Exhaustivity: (Base.Up, Base.Down)