/lib/dialyzer/test/property