[ca] Fixed false alarms in HAVER_SENSE_HAC, improved suggestions in PROPI_MATEIX