Added very helpful debug information in find_property_violations to replace is_proper()
Moving code to non-tempral section