test naive evaluation for properties