More experiments with HasProperty checks; no success