模拟Rodin不变式保持