Removing the assumption lower=1
Removing obsolete and unused external "SmartEiffel" support