Self pretty printer handles correctly functions containing choose (good for abstract candidates, but not good for pretty-printing).
Corrected isHomo in the case of function definitions.
Use functionInvocation instead of FunctionInvocation else typing argument is not inferred.