basic assigns are converting to annotated form correctly