The move constructor of `Polynomial` is actually a copy constructor: https://github.com/SRI-CSL/libpoly/blob/fc54e31f37cbdb5fc72416ad1c2b5e44551ccd7f/src/polyxx/polynomial.cpp#L61-L62