System tests for BNFC