add a choice for inlining methods in SummariesEnv