changed pos to AbSyn.pos