Case-match refining command added (may well be rather fragile)