! @brief returns x - y @pre x.e == y.e and x.f >= y.f */
source not stored for this graph (policy: none)
no outgoing calls