Add new wrappers for property testing.