Boolean function transform(host_model : Element, schedule_model : Element)