Test if uploadProperty exists before using it
Correct quoted code block
Warn users to install idemix_library