Default value adt fixes#1384

daniel-larraz merged 8 commits into

kind2-mc:developkind2-mc/kind2:developfrom

lorchrob:default-value-adt-fixeslorchrob/kind2:default-value-adt-fixesCopy head branch name to clipboard