Fixed up contradiction test for variables