fix NPE in eliminateVariableAbductive