add new theory: System.Array and System.Char