Renaming TEST_BOUNDED_BY into TEST_CLAMP
Added missing input file
Merge git.sv.gnu.org:/srv/git/liberty-eiffel