As said, I think the current behavior is the only consistent one with the current spec. I agree with @emmanuelbernard that hasConstrainedExecutables() is questionable in this case. I tend to say, get rid of it :-)