After testing, ensure parameter in iOS Tamarin script is optional