changing new ml files with new writing style, and also boost the speed of charactization by skip force_assertion_alone when I dont need a loop