diff --git a/src/plugins/aorai/aorai_dataflow.ml b/src/plugins/aorai/aorai_dataflow.ml
index 35cd5f132a0c47e1abee4185c2c646daeb40e9f6..63a0214b2a255d66025eb806dc2e3e9fbd4e6185 100644
--- a/src/plugins/aorai/aorai_dataflow.ml
+++ b/src/plugins/aorai/aorai_dataflow.ml
@@ -430,7 +430,7 @@ module Computer(I: Init) = struct
 
   let do_call s f args (state,loops as d) =
     let kf = Globals.Functions.get f in
-    if Data_for_aorai.isIgnoredFunction kf
+    if not (Data_for_aorai.isObservableFunction kf)
     then d (* we simply skip ignored functions. *)
     else begin
       set_call_state s state;