Finished writing partial evaluation for statements