adding back linear integer arithmetics , removing fof