The script were failing to generating the proof but it was continuing anyway. the set -e forces the script exit.