Welcome to the cbmc-gcmp universe!