The infershape mechanism differs for the two different type of outputs scan
can have (those with no initial state and those with initial state)