karsak

Че-то ссылки нет. Но по описанию похоже на IF, движков очень много (коротенький список по ссылке).

P.S. В общем смысле это конечный автомат называется: граф с условиями перехода между вершинами.