U: fixed bug of invoking 'Miso.hasProp'