sent n = in in getPrenexExpression