Fixed wrong sorts in parser for BV comparison
Fixed wrong sorts in parser for BV comparison