revise proptestGC() so that formula version will not fail when explanatory variable has NAs