All checks on instructions for forward propagation implemented