hasExplicitBody/hasExplicitRefinement => hasBraces