[VAPE-1] class AA (18,33): feature `g' of class AA appearing in the precondition of `f' is not exported to class ANY to which feature `f' is exported. ----