GitHub repository: smackers/bam-bam-boogieman
Description: Boogie AST Manipulator