Added property inference to quicktype checking