Process them in middle::reachable instead Add tests for reachability of trait methods written in UFCS form
In `middle::reachable` mark default impl of a trait method as reachable if this trait method is used from inlinable code