Add operator<= for HMSF.