added debug info
Fixed bug occuring when updating justification with no constraint exception
fixed some bugs