Fix is_literal for !T and !F. Fix is_alpha and is_beta in formulas with many consecutive not