OpenSMT: Limit the range for the new option to 0-4

Author: daniel-raffler

src/org/sosy_lab/java_smt/solvers/opensmt/OpenSmtSolverContext.java

@@ -13,6 +13,7 @@
 import java.util.function.Consumer;
 import org.sosy_lab.common.ShutdownNotifier;
 import org.sosy_lab.common.configuration.Configuration;
+import org.sosy_lab.common.configuration.IntegerOption;
 import org.sosy_lab.common.configuration.InvalidConfigurationException;
 import org.sosy_lab.common.configuration.Option;
 import org.sosy_lab.common.configuration.Options;
@@ -53,6 +54,7 @@ static class OpenSMTOptions {
     @Option(secure = true, description = "Algorithm for LRA interpolation")
     int algLra = 0;
 
+    @IntegerOption(min = 0, max = 4)
     @Option(
         secure = true,
         description =