/*

	Version 1.0 29/11/1994

	Author:  Sjaak Smetsers

*/



#define _OBSERVATION_TYPES_

extern Bool DetermineRefCountInfoOfContractum (Node rhsroot, NodeId rhsrootid, StrictNodeIdP strict_ids, PolyList *observer_list);