fixed parameter binding to check for inconsistent double binding in *all* cases--getting more refutations now