BT: Random, Weakest choosers
BT: added new conditions, tasks
BT: encounter roles defined