Added interfaces for adding / checking variables binding histories to a state nodes
Added score calculation for selecting suitable rule for the current planning step