diff --git a/src/abstract_tree/function_node.rs b/src/abstract_tree/function_node.rs
index ca38adc..e0a1371 100644
--- a/src/abstract_tree/function_node.rs
+++ b/src/abstract_tree/function_node.rs
@@ -55,7 +55,17 @@ impl FunctionNode {
     }
 
     pub fn call(&self, arguments: &[Value], source: &str, outer_context: &Map) -> Result<Value> {
-        self.context.clone_complex_values_from(outer_context)?;
+        for (key, (value, r#type)) in outer_context.variables()?.iter() {
+            if let Value::Function(Function::ContextDefined(function_node)) = value {
+                if self == function_node {
+                    continue;
+                }
+            }
+
+            if r#type.is_function() {
+                self.context.set(key.clone(), value.clone())?;
+            }
+        }
 
         let parameter_argument_pairs = self.parameters.iter().zip(arguments.iter());
 
@@ -72,7 +82,7 @@ impl FunctionNode {
 }
 
 impl AbstractTree for FunctionNode {
-    fn from_syntax(node: SyntaxNode, source: &str, context: &Map) -> Result<Self> {
+    fn from_syntax(node: SyntaxNode, source: &str, outer_context: &Map) -> Result<Self> {
         Error::expect_syntax_node(source, "function", node)?;
 
         let child_count = node.child_count();
@@ -83,24 +93,28 @@ impl AbstractTree for FunctionNode {
             let child = node.child(index).unwrap();
 
             if child.kind() == "identifier" {
-                let identifier = Identifier::from_syntax(child, source, context)?;
+                let identifier = Identifier::from_syntax(child, source, outer_context)?;
 
                 parameters.push(identifier);
             }
 
             if child.kind() == "type_definition" {
-                let type_definition = TypeDefinition::from_syntax(child, source, context)?;
+                let type_definition = TypeDefinition::from_syntax(child, source, outer_context)?;
 
                 parameter_types.push(type_definition.take_inner());
             }
         }
 
         let return_type_node = node.child(child_count - 2).unwrap();
-        let return_type = TypeDefinition::from_syntax(return_type_node, source, context)?;
+        let return_type = TypeDefinition::from_syntax(return_type_node, source, outer_context)?;
 
         let function_context = Map::new();
 
-        function_context.clone_complex_values_from(context)?;
+        for (key, (_value, r#type)) in outer_context.variables()?.iter() {
+            if r#type.is_function() {
+                function_context.set_type(key.clone(), r#type.clone())?;
+            }
+        }
 
         for (parameter, parameter_type) in parameters.iter().zip(parameter_types.iter()) {
             function_context.set_type(parameter.inner().clone(), parameter_type.clone())?;
@@ -121,8 +135,7 @@ impl AbstractTree for FunctionNode {
         })
     }
 
-    fn check_type(&self, source: &str, context: &Map) -> Result<()> {
-        self.context.clone_complex_values_from(context)?;
+    fn check_type(&self, source: &str, _context: &Map) -> Result<()> {
         self.return_type()
             .check(&self.body.expected_type(&self.context)?)
             .map_err(|error| error.at_source_position(source, self.syntax_position))?;
diff --git a/src/abstract_tree/identifier.rs b/src/abstract_tree/identifier.rs
index 78aa223..a4a58ef 100644
--- a/src/abstract_tree/identifier.rs
+++ b/src/abstract_tree/identifier.rs
@@ -50,8 +50,6 @@ impl AbstractTree for Identifier {
 
     fn expected_type(&self, context: &Map) -> Result<Type> {
         if let Some((_value, r#type)) = context.variables()?.get(&self.0) {
-            println!("{_value} {}", r#type);
-
             Ok(r#type.clone())
         } else {
             Err(Error::VariableIdentifierNotFound(self.0.clone()))
diff --git a/src/abstract_tree/type.rs b/src/abstract_tree/type.rs
index 9326cb5..f338a19 100644
--- a/src/abstract_tree/type.rs
+++ b/src/abstract_tree/type.rs
@@ -137,6 +137,10 @@ impl Type {
             }),
         }
     }
+
+    pub fn is_function(&self) -> bool {
+        matches!(self, Type::Function { .. })
+    }
 }
 
 impl AbstractTree for Type {
diff --git a/src/value/map.rs b/src/value/map.rs
index c264f32..5c54ddc 100644
--- a/src/value/map.rs
+++ b/src/value/map.rs
@@ -52,18 +52,6 @@ impl Map {
         })
     }
 
-    pub fn clone_complex_values_from(&self, other: &Self) -> Result<()> {
-        for (key, (value, r#type)) in other.variables()?.iter() {
-            if value.is_function() {
-                self.variables
-                    .write()?
-                    .insert(key.clone(), (value.clone(), r#type.clone()));
-            }
-        }
-
-        Ok(())
-    }
-
     pub fn variables(&self) -> Result<RwLockReadGuard<BTreeMap<String, (Value, Type)>>> {
         Ok(self.variables.read()?)
     }