bug fix in StructExpr::check