[Lace 08/11] Test checking defines in anyof/allof