update shape equation language ast node
also debug a potential NullPointerException in BasicMatrixValuePropagator.
we should always make sure even some value analysis fail, the program should
keep running and throw the specific value analysis fail information.