diff --git a/src/protocol/parser/mod.rs b/src/protocol/parser/mod.rs
index 4809745fac292421922b8a6c613c774c14c72fe1..b4255992c152a1ac0e99557098a35cd88b71e6cb 100644
--- a/src/protocol/parser/mod.rs
+++ b/src/protocol/parser/mod.rs
@@ -29,6 +29,10 @@ use crate::protocol::lexer::*;
 use std::collections::HashMap;
 use crate::protocol::ast_printer::ASTWriter;
 
+pub(crate) const LIMIT_NUM_TYPE_NODES: usize = 64;
+pub(crate) const LIMIT_NUM_POLY_VARS: usize = 64;
+pub(crate) const LIMIT_NUM_PROC_ARGS: usize = 64;
+
 #[derive(PartialEq, Eq)]
 pub enum ModuleCompilationPhase {
     Source,                 // only source is set