Ensure that constant propagation patterns that rely on types having static shapes are only run if the types have a static shape

Ensure that constant propagation patterns that rely on types having static shapes are only run if the types have a static shape #120