indexing

	description: 
		"Assertion has not a boolean expression as condition.";
	date: "$Date$";
	revision: "$Revision $"

class VWBE3 

inherit

	VWBE

feature -- Properties

	where: STRING is "In assertion clause"

end -- class VWBE3