Improve tests, const prop and graph iterator
Progress towards Dead code remover