+/* @param other Preceding FuncInst in the same execution trace
+ * Add other to predecessors if it has been added
+ *
+ * @return false: other is already in predecessors
+ * true : other is added to precedessors
+ */
+bool FuncInst::add_pred(FuncInst * other)
+{