Searching protocol for "skeletal-tests"
Bootstraps Eiffel contracts and tests.
Automate Eiffel contract verification and tests.