Work on high level ASF IF: t+