Reduce implemented.
Merge branch 'master' of https://github.com/th0114nd/uffda into reduce
Added deduce.
Example rename
Added deduce to uffda_register_name_model.
Merge pull request #44 from pierce-m/master

Added deduce.
Make first successful pass through the whole tc_proper_model behaviour