Fix typo in documentation
Value propagation: If all versions of a struct instance have the same memory representation at the end of simulation then replace the instance with a constant value