semantic: Move property rewrite to leave.