partial evaluator uses brj now instead of postdom