Fixed auto property synthesis for POP tests.