FPA unified function names
FPA fixed omissions reported by user xor88 (codeplex discussion 554193)

Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable