Updated the variable binding in pic proc.
Updated the variable binding in shape inference.