Add unit test.
Add have_quantifier. Add is_in_prenex_form.
Refractor code.
Refractor code.