Applying semantic constraints to array programming: the module "check_is" of the Mastrave modelling library