Hi,
For this variable declaration:

(set-logic LRA) 
(declare-fun as () Real)

CVC4 will reject the formula because as is the reserved word （according to the SMT-LIB standard, page 95 ), while z3 accepts it.
Is it expected?

OS: Ubuntu 18.04
Revision: 376d2c1