Add PartiallyEvaluatedFunction to the trees in order to be able to print pre and post conditions from functions which had their args evaluated