Counterexample output, lift properties from nodes