Factorize some constructions to make them explicit during stack analysis