add papp from Fixpoint
Merge pull request #56 from ucsd-progsys/pApp

add refinement application from Fixpoint