Add variable definitions to Contraction