added Inspect (with static methods) to replace AbstractUserDefinedPredicateInspectionFunction, InspectClause and Retract #112