fix multiversion handling when the update rule is an assertion

Conflicts:

	src/solver.c
add changes, bump version