State matching / Branch pruning - cannot easily coexist just yet (loops)