I don't think so. In fact I think the sec is very clear here: "Getters are not considered constrained methods by default" and as you say XML and _@ValidateExecutable_ are not honored. Not returning getters is imo the only right choice in this case.