spec: Do not require insert_value and read_value if they are the same