-extern /*@only@*/ constraintList exprNode_traversRequiresConstraints (/*@dependent@*/ exprNode p_e);
-extern /*@only@*/ constraintList exprNode_traversEnsuresConstraints (/*@dependent@*/ exprNode p_e);
+extern /*@only@*/ constraintList
+exprNode_traversRequiresConstraints (exprNode p_e);
+
+extern /*@only@*/ constraintList
+exprNode_traversEnsuresConstraints (exprNode p_e);