Fix #200

faster implementation of MUL_OCC_VAR_PROP.silent