creole/tests/flattener_dicos/10check_valid_differ_add