Check nbytes read
Add parser context passed to Verify() and conditions
Implement condition negation