Reparado un bug que impedía resolver test5.rule
Merge branch 'master' of ssh://github.com/rodarima/tc