Added a trivial expression validator