Backward inference now works whenever a new VS isn't added, instead of relying on the future-bw-infer set, which may prevent a shorter path of inference from happening.