Using real relaxations during program specialization