Add bnfc