Correction to: A Unifying View on SMT-Based Software Verification ...