This commit makes sure that the defaultValue has to be provided in
assertions. If not present, no defaultValue should be generated.