adding checking for Well Formed Formulae parsing