[ref_impl_eiffel] [1843] Add some more cases (with 2 new errors) to the phase 2 validator specialised validation;

Revision: 1843
Author: thomas.beale
Log Message: