Fix FLOOR and DISTINCT in CVC language parser.
empty tuples and records