add property based testing for parser