introduces Aux.Template.hasExplicitBody