Fix FLOOR and DISTINCT in CVC language parser.