[rules-users] Truth maintenance and RHS variables