Fix the name of couterexample for CBMC.