Extend variable uniqueness property with the 2 new markers.