rename 'size_o_map' to 'size_gen_o_map'
rename 'size_o_map' to 'size_gen_o_map'

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle