analyzer: fix extended check for simple crossing