Updated JSAV.
Minor improvments to postfixEvaluationPRO.