remove default_cxt which is buggy
simplify fan_lex
snapshot