update constant propagation to support builtin length