Add failing test-3 properties 1c, 2c, 2d, 3e, and 3f.
Make test-3 properties 1c, 2c, 2d, 3e, and 3f pass.
Add failing test-3 properties 1d, 2e, and 3g.
Make test-3 properties 1d, 2e, and 3g pass.