Move default value checks from TypeUtils to EffectiveStmtUtils