Solved some bugs
Added interface for propagate for the theory