semantic: If a postfix operates on a pointer-to-class, add a dereference.