let fterm_of_field_access e f = D.acc_field  e f