implemented PostFixOpsVisitor visit(FieldAccess), but currently something is wrong with the current_this type