namarara/spec/files/simple_eq_expr_boolexpr.txt