(fgl-object-alist-fix x) is an ACL2::fty alist fixing function that follows the drop-keys strategy.
(fgl-object-alist-fix x) → fty::newx
Note that in the execution this is just an inline identity function.