Text this: Applying Ad-hoc global constraints with the case constraint to still-life

 __   _     ______   __   __     ___      _____   
| || | ||  /_   _//  \ \\/ //   / _ \\   |__  //  
| '--' ||   -| ||-    \   //   / //\ \\    / //   
| .--. ||   _| ||_    / . \\  |  ___  ||  / //__  
|_|| |_||  /_____//  /_//\_\\ |_||  |_|| /_____|| 
`-`  `-`   `-----`   `-`  --` `-`   `-`  `-----`