Verification with UPPAAL for release uppaal64-4.1.19 (Linux 64bits) always displays "ERROR -> property could not be studied"