fix soundness issue with the --minimize_program flag when a node call precedes the node definition
fix soundness issue with the --minimize_program flag when a node call precedes the node definition

kind2-mc/kind2,daniel-larraz/kind2