Use varToCoreExpr in mkWWcpr_help