go extraction: support overriding definitions (e.g., axioms)
go extraction: support overriding definitions (e.g., axioms)

mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl