Disable migration log
Reorganize time proxy spec
Fix the include equal operator