Fixed procedures and added some issues about nested expressions.