add implementations for expression about contant checker