debugging contractions