new reviser exposes bug
fixed
introduced constraint parameter to implication graph
default implementation for learn