C1 should implement ValueTypeReturnedAsFields for method calls/returns only if ciMethod::signature()->returns_never_null() returns true. E.g., for a method like the following, which can possibly return a null value

    V? get_nullable_V() {...}

C1 should handle it just as a regular method that returns a reference type.