add inner  discrete statements