Update ANF anf-big
Rework boyer example