crytic/properties not found