How to remove libboogie-cil from Debian 9 (Stretch)