Giving up on automatic term names model checking / property testing