Abstract inference of unchosen option values. (23rd October 2019)