let create_normal sa = create_norma_sa_ar sa (ArrayAtom.of_satom sa)