ssa to lambda-terms I