Support function definition in CBN