fails:Refinement#include warns about deprecation
