Property analysis with Reaforce