added parser skip until and expectandconsume methods; improved diagnostics for some specification statements