fix a bug in theory propagation