Adds rule to invalidate double x