Let-definitions are put to local context now