You probably also want to check that `degree` and `inputOrder` are positive (inside the same pragma block.