First step for expression elaboration