Too many one-time variables, see https://github.com/tpc2/qulice/wiki/mistakes#one-time-variables