Add basic "where ... must be" highlighting