Added parsing of <krav>