Add testcase for declaration of arrays with Boolean dimensions