Program conversion apparatus, execution support device, the methods and their computer program