Update cpa-bam-smg
Update cpa-bam-smg according with branch klever_main revision 3c59e06ba of repo https://github.com/Druidos/cpachecker
Update cpa-bam-smg according with branch klever_main revision 3c59e06ba of repo https://github.com/Druidos/cpachecker