flagging HoL parser as "pending"