(added to clabstract earilier
*/
-constraintList getFunctionConstraints (void);
-
-constraintList getEnsuresConstraints (void);
-
-void setEnsuresConstraints (constraintList p_c);
-
-void setFunctionConstraints (constraintList p_c);
-sRef checkbufferConstraintClausesId (uentry p_ue);
-void setImplictfcnConstraints (void);
+extern sRef checkbufferConstraintClausesId (uentry p_ue);
+extern void setImplictfcnConstraints (void);
/*@observer@*/ constraintList getImplicitFcnConstraints (void);