Testability Conditions for Two-Dimensional Bilateral Arrays