diff --git a/.github/workflows/pull_request.yml b/.github/workflows/pull_request.yml
index cfb31685..b1fec986 100644
--- a/.github/workflows/pull_request.yml
+++ b/.github/workflows/pull_request.yml
@@ -23,7 +23,6 @@ env:
     polynomial_cpp_example
     poseidon_cpp_example
     merkle_tree_poseidon_cpp_example
-    strlen_cpp_example
     uint_remainder_cpp
     uint_shift_left
     uint_bit_decomposition
diff --git a/bin/proof-generator/include/nil/proof-generator/prover.hpp b/bin/proof-generator/include/nil/proof-generator/prover.hpp
index 07ba63c1..3743c063 100644
--- a/bin/proof-generator/include/nil/proof-generator/prover.hpp
+++ b/bin/proof-generator/include/nil/proof-generator/prover.hpp
@@ -147,16 +147,17 @@ namespace nil {
 
         }    // namespace detail
 
+        constexpr std::size_t WitnessColumns = 15;
+        constexpr std::size_t PublicInputColumns = 1;
+        constexpr std::size_t ComponentConstantColumns = 5;
+        constexpr std::size_t LookupConstantColumns = 30;
+        constexpr std::size_t ConstantColumns = ComponentConstantColumns + LookupConstantColumns;
+        constexpr std::size_t ComponentSelectorColumns = 50;
+        constexpr std::size_t LookupSelectorColumns = 6;
+        constexpr std::size_t SelectorColumns = ComponentSelectorColumns + LookupSelectorColumns;
+
         template <typename BlueprintFieldType>
         bool prover(boost::filesystem::path circuit_file_name, boost::filesystem::path assignment_table_file_name, boost::filesystem::path proof_file, bool skip_verification) {
-            constexpr std::size_t WitnessColumns = 15;
-            constexpr std::size_t PublicInputColumns = 1;
-            constexpr std::size_t ComponentConstantColumns = 5;
-            constexpr std::size_t LookupConstantColumns = 30;
-            constexpr std::size_t ConstantColumns = ComponentConstantColumns + LookupConstantColumns;
-            constexpr std::size_t ComponentSelectorColumns = 30;
-            constexpr std::size_t LookupSelectorColumns = 6;
-            constexpr std::size_t SelectorColumns = ComponentSelectorColumns + LookupSelectorColumns;
 
             using ArithmetizationParams =
                 NAMESPACE::zk::snark::plonk_arithmetization_params<WitnessColumns, PublicInputColumns, ConstantColumns,
@@ -322,14 +323,6 @@ namespace nil {
 
         template <typename BlueprintFieldType>
         bool verify(boost::filesystem::path circuit_file_name, boost::filesystem::path assignment_table_file_name, boost::filesystem::path proof_file, bool skip_verification) {
-            constexpr std::size_t WitnessColumns = 15;
-            constexpr std::size_t PublicInputColumns = 1;
-            constexpr std::size_t ComponentConstantColumns = 5;
-            constexpr std::size_t LookupConstantColumns = 30;
-            constexpr std::size_t ConstantColumns = ComponentConstantColumns + LookupConstantColumns;
-            constexpr std::size_t ComponentSelectorColumns = 30;
-            constexpr std::size_t LookupSelectorColumns = 6;
-            constexpr std::size_t SelectorColumns = ComponentSelectorColumns + LookupSelectorColumns;
 
             using ArithmetizationParams =
                 NAMESPACE::zk::snark::plonk_arithmetization_params<WitnessColumns, PublicInputColumns, ConstantColumns,