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