Small bugfixes in rule evaluation

This release contains a small change in rule evaluation:

• when constructing missing structure in automatic assertion fixing, a whole tree would be created with as many fields filled as possible. This meant problems later, so it was changed so it creates only the minimal amount of fields necessary to fix the assertion

And a small bugfix:

• RMQueryContext threw an exception with the query "/". It now works correctly.