Patterns - Replace FunctionApplicationPoint with FunctionPoint and
restyle notation of FunctionPoint, FunctionStep, GoalStep, and
PointcutStep
Queries - Hide whereClause in QuantifiedPredicateFigure when not used
Semantics - FIX notation of FunctionApplication