provide sink in logical compiler; cut instructions to handles bind stack properly