Annotation of expressions with alocated names; seems not very useful