Adding switch to disable non-interference checking when doing only effect inference.