diff --git a/src/lib/CoAlgFormula.ml b/src/lib/CoAlgFormula.ml
index ef5f85b0c8a4012fc3017ca46b5eb9484fb924f3..75d6f02b6d892fb151b0f4a1efb51cf4cd0a1d4e 100644
--- a/src/lib/CoAlgFormula.ml
+++ b/src/lib/CoAlgFormula.ml
@@ -743,7 +743,12 @@ and parse_rest symtab ts =
     AP "false"
   | A.Kwd "True" -> TRUE
   | A.Kwd "False" -> FALSE
-  | A.Ident s -> AP s
+  | A.Ident s ->
+	  (try
+		  let finder (x, _) = compare x s == 0 in
+		  let (_, symbol) = List.find finder symtab in
+		  VAR symbol
+		with Not_found -> AP s)
   | A.Kwd "~" ->
       let f = parse_rest symtab ts in
       NOT f