Synthesized Attributes Can Be Simulated As