[ref_impl_eiffel] [881] Minor corrections to do with VATDF and VACDF validity rules.

Revision: 881
Author: thomas.beale

Log Message: