-------------------------------------------------------------------------------

Error code: VAPE

Error: some clients have access to routine but not to a feature used in
  its precondition.
What to do: make sure that all features used in the precondition
  are exported to all the clients to which routine is available.

Class: AA
Feature: f
Insufficiently exported feature: after from BB
Line: 21
      require
->      across b as c all True end
      do

-------------------------------------------------------------------------------