Construct Lustre counterexamples from node instead of model