while (%user.infiniteHorizon == false)
{
%user.currentHorizon = "static";
%user.Engine = "A7";
}