(declare-fun a not-a-left-paranthesis