Support updating freezed rules when infering rules. Close #13