fix mzlib test for eaf48bbbf
improve contract-stronger for instanceof/c