Move get_property out of metis so it can be used without configuring metis.