Added SUM-CLAUSE parsers to global list of clause parsers.