avoid variable name acc (cf. cs. 3142c1e21a0e)
avoid variable name acc (cf. cs. 3142c1e21a0e)

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