Fixing type in BBNodeManagerAIG.h

Thanks for @jamesjer for pointing this out

Fixes #117