A context-sensitive structural heuristic for guided search model checking