2631 - iflet/aif/whenlet with :satisfies