O método entitySelection.isAlterable( ) devolve True se a seleção de entidades for modificável e False em caso contrário (ver Seleção de Entidade Compatível vs Não-compatível).
Está a ponto de mostrar Form.products em um list box para que o usuário poda adicionar novos produtos. Para ter certeza de que é modificável para que o usuário possa adicionar novos produtos sem erros:
If(Not(Form.products.isAlterable()))
Form.products:=Form.products.copy()
End if
...
Form.products.add(Form.product)