Applied ucdetector.

Applied ucdetector plugin:
-- removed useless code
-- changed access level modifiers (public/private etc.)
to be more restrictive
Merge pull request #14 from ucam-smt/rulextract-ucdetector

Applied ucdetector.