Back-Naur Form (Enhanced) Eiffel Library Components