Use labels from Contracts for mon expansion, prefix vars from input programs