fix(DSL/): add b_var & assert expression