alpha version of next state logic, missing datapath signals