diff -r be4373d07201 -r 0f7bcc160568 absyntax_utils/search_varfb_instance_type.cc
--- a/absyntax_utils/search_varfb_instance_type.cc	Sun Sep 28 17:48:42 2014 +0100
+++ b/absyntax_utils/search_varfb_instance_type.cc	Sun Oct 19 08:36:49 2014 +0100
@@ -405,3 +405,61 @@
   initial_step_c initial_step(NULL, NULL);
   return initial_step.accept(*this);
 }
+
+
+/***************************************/
+/* B.3 - Language ST (Structured Text) */
+/***************************************/
+/***********************/
+/* B 3.1 - Expressions */
+/***********************/
+/* SYM_REF1(deref_expression_c, exp)  --> an extension to the IEC 61131-3 standard - based on the IEC 61131-3 v3 standard. Returns address of the varible! */
+void *search_varfb_instance_type_c::visit(deref_expression_c  *symbol) {
+  symbol->exp->accept(*this);
+  symbol_c *basetype_decl = current_basetype_decl;
+  this->init(); /* set all current_*** pointers to NULL ! */
+  
+  /* Check whether the expression if a REF_TO datatype, and if so, set the new datatype to the datatype it references! */
+    /* Determine whether the datatype is a ref_spec_c, as this is the class used as the    */
+    /* canonical/base datatype of REF_TO types (see search_base_type_c ...)                */   
+  ref_spec_c * ref_spec = dynamic_cast<ref_spec_c *>(basetype_decl);
+  if (NULL != ref_spec) {
+    current_basetype_decl = search_base_type_c::get_basetype_decl(ref_spec->type_name);
+    current_basetype_id   = search_base_type_c::get_basetype_id  (ref_spec->type_name);
+  }
+  
+/* ########### WARNING ########################################################## */
+/* The following two lines DO NOT belong here. It is just a temporary measure until I get the chance 
+ * to clean this up, and move it to fill/narrow candidate datatypes in stage 3 
+ */
+  symbol->datatype = current_basetype_decl;
+  symbol->exp->datatype = ref_spec;
+  
+  return NULL;
+}
+
+  
+/* SYM_REF1(deref_operator_c, exp)  --> an extension to the IEC 61131-3 standard - based on the IEC 61131-3 v3 standard. Returns address of the varible! */
+void *search_varfb_instance_type_c::visit(deref_operator_c  *symbol) {
+  symbol->exp->accept(*this);
+  symbol_c *basetype_decl = current_basetype_decl;
+  this->init(); /* set all current_*** pointers to NULL ! */
+  
+  /* Check whether the expression if a REF_TO datatype, and if so, set the new datatype to the datatype it references! */
+    /* Determine whether the datatype is a ref_spec_c, as this is the class used as the    */
+    /* canonical/base datatype of REF_TO types (see search_base_type_c ...)                */   
+  ref_spec_c * ref_spec = dynamic_cast<ref_spec_c *>(basetype_decl);
+  if (NULL != ref_spec) {
+    current_basetype_decl = search_base_type_c::get_basetype_decl(ref_spec->type_name);
+    current_basetype_id   = search_base_type_c::get_basetype_id  (ref_spec->type_name);
+  }
+  
+/* ########### WARNING ########################################################## */
+/* The following two lines DO NOT belong here. It is just a temporary measure until I get the chance 
+ * to clean this up, and move it to fill/narrow candidate datatypes in stage 3 
+ */
+  symbol->datatype = current_basetype_decl;
+  symbol->exp->datatype = ref_spec;
+  
+  return NULL;
+}