+ fixes #0001380: Allow to set user-defined names for constraints