add switchers in SummariesEnv, useNumbering (false), allocDepth(1), propLocals(false), to tune the performance, but it will not be sound currently