Function parser_fails_on 

pub open spec fn parser_fails_on<P: SpecParser>(p: P, ibuf: Seq<u8>) -> bool

{ p.spec_parse(ibuf) is None }

Returns true when parser p fails on input ibuf.