Make abstraction variables consistent.