Option : >> init variable_name_1 == variable_name_2 >> Policy : >> Execute execute_variable_name >> until variable_name_1 == variable_name_2
Option : >> init variable_name_1 == variable_name_2 >> Policy : >> Execute execute_variable_name >> until variable_name_1 != variable_name_2
Option : >> init variable_name_1 == variable_name_2 >> Policy : >> Execute execute_variable_name >> until variable_name_1 < variable_name_2
Option : >> init variable_name_1 == variable_name_2 >> Policy : >> Execute execute_variable_name >> until variable_name_1 > variable_name_2
Option : >> init variable_name_1 == variable_name_2 >> Policy : >> Execute execute_variable_name >> until variable_name_1 <= variable_name_2
Option : >> init variable_name_1 == variable_name_2 >> Policy : >> Execute execute_variable_name >> until variable_name_1 >= variable_name_2
Option : >> init variable_name_1 == variable_name_2 >> Policy : >> Execute execute_variable_name >> until numeric_variable == number
Option : >> init variable_name_1 == variable_name_2 >> Policy : >> Execute execute_variable_name >> until numeric_variable != number
Option : >> init variable_name_1 == variable_name_2 >> Policy : >> Execute execute_variable_name >> until numeric_variable < number
Option : >> init variable_name_1 == variable_name_2 >> Policy : >> Execute execute_variable_name >> until numeric_variable > number
Option : >> init variable_name_1 == variable_name_2 >> Policy : >> Execute execute_variable_name >> until numeric_variable <= number
Option : >> init variable_name_1 == variable_name_2 >> Policy : >> Execute execute_variable_name >> until numeric_variable >= number
Option : >> init variable_name_1 != variable_name_2 >> Policy : >> Execute execute_variable_name >> until variable_name_1 == variable_name_2
Option : >> init variable_name_1 != variable_name_2 >> Policy : >> Execute execute_variable_name >> until variable_name_1 != variable_name_2
Option : >> init variable_name_1 != variable_name_2 >> Policy : >> Execute execute_variable_name >> until variable_name_1 < variable_name_2
Option : >> init variable_name_1 != variable_name_2 >> Policy : >> Execute execute_variable_name >> until variable_name_1 > variable_name_2
Option : >> init variable_name_1 != variable_name_2 >> Policy : >> Execute execute_variable_name >> until variable_name_1 <= variable_name_2
Option : >> init variable_name_1 != variable_name_2 >> Policy : >> Execute execute_variable_name >> until variable_name_1 >= variable_name_2
Option : >> init variable_name_1 != variable_name_2 >> Policy : >> Execute execute_variable_name >> until numeric_variable == number
Option : >> init variable_name_1 != variable_name_2 >> Policy : >> Execute execute_variable_name >> until numeric_variable != number
Option : >> init variable_name_1 != variable_name_2 >> Policy : >> Execute execute_variable_name >> until numeric_variable < number
Option : >> init variable_name_1 != variable_name_2 >> Policy : >> Execute execute_variable_name >> until numeric_variable > number
Option : >> init variable_name_1 != variable_name_2 >> Policy : >> Execute execute_variable_name >> until numeric_variable <= number
Option : >> init variable_name_1 != variable_name_2 >> Policy : >> Execute execute_variable_name >> until numeric_variable >= number
Option : >> init variable_name_1 < variable_name_2 >> Policy : >> Execute execute_variable_name >> until variable_name_1 == variable_name_2
Option : >> init variable_name_1 < variable_name_2 >> Policy : >> Execute execute_variable_name >> until variable_name_1 != variable_name_2
Option : >> init variable_name_1 < variable_name_2 >> Policy : >> Execute execute_variable_name >> until variable_name_1 < variable_name_2
Option : >> init variable_name_1 < variable_name_2 >> Policy : >> Execute execute_variable_name >> until variable_name_1 > variable_name_2
Option : >> init variable_name_1 < variable_name_2 >> Policy : >> Execute execute_variable_name >> until variable_name_1 <= variable_name_2
Option : >> init variable_name_1 < variable_name_2 >> Policy : >> Execute execute_variable_name >> until variable_name_1 >= variable_name_2
Option : >> init variable_name_1 < variable_name_2 >> Policy : >> Execute execute_variable_name >> until numeric_variable == number
Option : >> init variable_name_1 < variable_name_2 >> Policy : >> Execute execute_variable_name >> until numeric_variable != number
Option : >> init variable_name_1 < variable_name_2 >> Policy : >> Execute execute_variable_name >> until numeric_variable < number
Option : >> init variable_name_1 < variable_name_2 >> Policy : >> Execute execute_variable_name >> until numeric_variable > number
Option : >> init variable_name_1 < variable_name_2 >> Policy : >> Execute execute_variable_name >> until numeric_variable <= number
Option : >> init variable_name_1 < variable_name_2 >> Policy : >> Execute execute_variable_name >> until numeric_variable >= number
Option : >> init variable_name_1 > variable_name_2 >> Policy : >> Execute execute_variable_name >> until variable_name_1 == variable_name_2
Option : >> init variable_name_1 > variable_name_2 >> Policy : >> Execute execute_variable_name >> until variable_name_1 != variable_name_2
Option : >> init variable_name_1 > variable_name_2 >> Policy : >> Execute execute_variable_name >> until variable_name_1 < variable_name_2
Option : >> init variable_name_1 > variable_name_2 >> Policy : >> Execute execute_variable_name >> until variable_name_1 > variable_name_2
Option : >> init variable_name_1 > variable_name_2 >> Policy : >> Execute execute_variable_name >> until variable_name_1 <= variable_name_2
Option : >> init variable_name_1 > variable_name_2 >> Policy : >> Execute execute_variable_name >> until variable_name_1 >= variable_name_2
Option : >> init variable_name_1 > variable_name_2 >> Policy : >> Execute execute_variable_name >> until numeric_variable == number
Option : >> init variable_name_1 > variable_name_2 >> Policy : >> Execute execute_variable_name >> until numeric_variable != number
Option : >> init variable_name_1 > variable_name_2 >> Policy : >> Execute execute_variable_name >> until numeric_variable < number
Option : >> init variable_name_1 > variable_name_2 >> Policy : >> Execute execute_variable_name >> until numeric_variable > number
Option : >> init variable_name_1 > variable_name_2 >> Policy : >> Execute execute_variable_name >> until numeric_variable <= number
Option : >> init variable_name_1 > variable_name_2 >> Policy : >> Execute execute_variable_name >> until numeric_variable >= number
Option : >> init variable_name_1 <= variable_name_2 >> Policy : >> Execute execute_variable_name >> until variable_name_1 == variable_name_2
Option : >> init variable_name_1 <= variable_name_2 >> Policy : >> Execute execute_variable_name >> until variable_name_1 != variable_name_2
Option : >> init variable_name_1 <= variable_name_2 >> Policy : >> Execute execute_variable_name >> until variable_name_1 < variable_name_2
Option : >> init variable_name_1 <= variable_name_2 >> Policy : >> Execute execute_variable_name >> until variable_name_1 > variable_name_2
Option : >> init variable_name_1 <= variable_name_2 >> Policy : >> Execute execute_variable_name >> until variable_name_1 <= variable_name_2
Option : >> init variable_name_1 <= variable_name_2 >> Policy : >> Execute execute_variable_name >> until variable_name_1 >= variable_name_2
Option : >> init variable_name_1 <= variable_name_2 >> Policy : >> Execute execute_variable_name >> until numeric_variable == number
Option : >> init variable_name_1 <= variable_name_2 >> Policy : >> Execute execute_variable_name >> until numeric_variable != number
Option : >> init variable_name_1 <= variable_name_2 >> Policy : >> Execute execute_variable_name >> until numeric_variable < number
Option : >> init variable_name_1 <= variable_name_2 >> Policy : >> Execute execute_variable_name >> until numeric_variable > number
Option : >> init variable_name_1 <= variable_name_2 >> Policy : >> Execute execute_variable_name >> until numeric_variable <= number
Option : >> init variable_name_1 <= variable_name_2 >> Policy : >> Execute execute_variable_name >> until numeric_variable >= number
Option : >> init variable_name_1 >= variable_name_2 >> Policy : >> Execute execute_variable_name >> until variable_name_1 == variable_name_2
Option : >> init variable_name_1 >= variable_name_2 >> Policy : >> Execute execute_variable_name >> until variable_name_1 != variable_name_2
Option : >> init variable_name_1 >= variable_name_2 >> Policy : >> Execute execute_variable_name >> until variable_name_1 < variable_name_2
Option : >> init variable_name_1 >= variable_name_2 >> Policy : >> Execute execute_variable_name >> until variable_name_1 > variable_name_2
Option : >> init variable_name_1 >= variable_name_2 >> Policy : >> Execute execute_variable_name >> until variable_name_1 <= variable_name_2
Option : >> init variable_name_1 >= variable_name_2 >> Policy : >> Execute execute_variable_name >> until variable_name_1 >= variable_name_2
Option : >> init variable_name_1 >= variable_name_2 >> Policy : >> Execute execute_variable_name >> until numeric_variable == number
Option : >> init variable_name_1 >= variable_name_2 >> Policy : >> Execute execute_variable_name >> until numeric_variable != number
Option : >> init variable_name_1 >= variable_name_2 >> Policy : >> Execute execute_variable_name >> until numeric_variable < number
Option : >> init variable_name_1 >= variable_name_2 >> Policy : >> Execute execute_variable_name >> until numeric_variable > number
Option : >> init variable_name_1 >= variable_name_2 >> Policy : >> Execute execute_variable_name >> until numeric_variable <= number
Option : >> init variable_name_1 >= variable_name_2 >> Policy : >> Execute execute_variable_name >> until numeric_variable >= number
Option : >> init numeric_variable == number >> Policy : >> Execute execute_variable_name >> until variable_name_1 == variable_name_2
Option : >> init numeric_variable == number >> Policy : >> Execute execute_variable_name >> until variable_name_1 != variable_name_2
Option : >> init numeric_variable == number >> Policy : >> Execute execute_variable_name >> until variable_name_1 < variable_name_2
Option : >> init numeric_variable == number >> Policy : >> Execute execute_variable_name >> until variable_name_1 > variable_name_2
Option : >> init numeric_variable == number >> Policy : >> Execute execute_variable_name >> until variable_name_1 <= variable_name_2
Option : >> init numeric_variable == number >> Policy : >> Execute execute_variable_name >> until variable_name_1 >= variable_name_2
Option : >> init numeric_variable == number >> Policy : >> Execute execute_variable_name >> until numeric_variable == number
Option : >> init numeric_variable == number >> Policy : >> Execute execute_variable_name >> until numeric_variable != number
Option : >> init numeric_variable == number >> Policy : >> Execute execute_variable_name >> until numeric_variable < number
Option : >> init numeric_variable == number >> Policy : >> Execute execute_variable_name >> until numeric_variable > number
Option : >> init numeric_variable == number >> Policy : >> Execute execute_variable_name >> until numeric_variable <= number
Option : >> init numeric_variable == number >> Policy : >> Execute execute_variable_name >> until numeric_variable >= number
Option : >> init numeric_variable != number >> Policy : >> Execute execute_variable_name >> until variable_name_1 == variable_name_2
Option : >> init numeric_variable != number >> Policy : >> Execute execute_variable_name >> until variable_name_1 != variable_name_2
Option : >> init numeric_variable != number >> Policy : >> Execute execute_variable_name >> until variable_name_1 < variable_name_2
Option : >> init numeric_variable != number >> Policy : >> Execute execute_variable_name >> until variable_name_1 > variable_name_2
Option : >> init numeric_variable != number >> Policy : >> Execute execute_variable_name >> until variable_name_1 <= variable_name_2
Option : >> init numeric_variable != number >> Policy : >> Execute execute_variable_name >> until variable_name_1 >= variable_name_2
Option : >> init numeric_variable != number >> Policy : >> Execute execute_variable_name >> until numeric_variable == number
Option : >> init numeric_variable != number >> Policy : >> Execute execute_variable_name >> until numeric_variable != number
Option : >> init numeric_variable != number >> Policy : >> Execute execute_variable_name >> until numeric_variable < number
Option : >> init numeric_variable != number >> Policy : >> Execute execute_variable_name >> until numeric_variable > number
Option : >> init numeric_variable != number >> Policy : >> Execute execute_variable_name >> until numeric_variable <= number
Option : >> init numeric_variable != number >> Policy : >> Execute execute_variable_name >> until numeric_variable >= number
Option : >> init numeric_variable < number >> Policy : >> Execute execute_variable_name >> until variable_name_1 == variable_name_2
Option : >> init numeric_variable < number >> Policy : >> Execute execute_variable_name >> until variable_name_1 != variable_name_2
Option : >> init numeric_variable < number >> Policy : >> Execute execute_variable_name >> until variable_name_1 < variable_name_2
Option : >> init numeric_variable < number >> Policy : >> Execute execute_variable_name >> until variable_name_1 > variable_name_2
Option : >> init numeric_variable < number >> Policy : >> Execute execute_variable_name >> until variable_name_1 <= variable_name_2
Option : >> init numeric_variable < number >> Policy : >> Execute execute_variable_name >> until variable_name_1 >= variable_name_2
Option : >> init numeric_variable < number >> Policy : >> Execute execute_variable_name >> until numeric_variable == number
Option : >> init numeric_variable < number >> Policy : >> Execute execute_variable_name >> until numeric_variable != number
Option : >> init numeric_variable < number >> Policy : >> Execute execute_variable_name >> until numeric_variable < number
Option : >> init numeric_variable < number >> Policy : >> Execute execute_variable_name >> until numeric_variable > number
Option : >> init numeric_variable < number >> Policy : >> Execute execute_variable_name >> until numeric_variable <= number
Option : >> init numeric_variable < number >> Policy : >> Execute execute_variable_name >> until numeric_variable >= number
Option : >> init numeric_variable > number >> Policy : >> Execute execute_variable_name >> until variable_name_1 == variable_name_2
Option : >> init numeric_variable > number >> Policy : >> Execute execute_variable_name >> until variable_name_1 != variable_name_2
Option : >> init numeric_variable > number >> Policy : >> Execute execute_variable_name >> until variable_name_1 < variable_name_2
Option : >> init numeric_variable > number >> Policy : >> Execute execute_variable_name >> until variable_name_1 > variable_name_2
Option : >> init numeric_variable > number >> Policy : >> Execute execute_variable_name >> until variable_name_1 <= variable_name_2
Option : >> init numeric_variable > number >> Policy : >> Execute execute_variable_name >> until variable_name_1 >= variable_name_2
Option : >> init numeric_variable > number >> Policy : >> Execute execute_variable_name >> until numeric_variable == number
Option : >> init numeric_variable > number >> Policy : >> Execute execute_variable_name >> until numeric_variable != number
Option : >> init numeric_variable > number >> Policy : >> Execute execute_variable_name >> until numeric_variable < number
Option : >> init numeric_variable > number >> Policy : >> Execute execute_variable_name >> until numeric_variable > number
Option : >> init numeric_variable > number >> Policy : >> Execute execute_variable_name >> until numeric_variable <= number
Option : >> init numeric_variable > number >> Policy : >> Execute execute_variable_name >> until numeric_variable >= number
Option : >> init numeric_variable <= number >> Policy : >> Execute execute_variable_name >> until variable_name_1 == variable_name_2
Option : >> init numeric_variable <= number >> Policy : >> Execute execute_variable_name >> until variable_name_1 != variable_name_2
Option : >> init numeric_variable <= number >> Policy : >> Execute execute_variable_name >> until variable_name_1 < variable_name_2
Option : >> init numeric_variable <= number >> Policy : >> Execute execute_variable_name >> until variable_name_1 > variable_name_2
Option : >> init numeric_variable <= number >> Policy : >> Execute execute_variable_name >> until variable_name_1 <= variable_name_2
Option : >> init numeric_variable <= number >> Policy : >> Execute execute_variable_name >> until variable_name_1 >= variable_name_2
Option : >> init numeric_variable <= number >> Policy : >> Execute execute_variable_name >> until numeric_variable == number
Option : >> init numeric_variable <= number >> Policy : >> Execute execute_variable_name >> until numeric_variable != number
Option : >> init numeric_variable <= number >> Policy : >> Execute execute_variable_name >> until numeric_variable < number
Option : >> init numeric_variable <= number >> Policy : >> Execute execute_variable_name >> until numeric_variable > number
Option : >> init numeric_variable <= number >> Policy : >> Execute execute_variable_name >> until numeric_variable <= number
Option : >> init numeric_variable <= number >> Policy : >> Execute execute_variable_name >> until numeric_variable >= number
Option : >> init numeric_variable >= number >> Policy : >> Execute execute_variable_name >> until variable_name_1 == variable_name_2
Option : >> init numeric_variable >= number >> Policy : >> Execute execute_variable_name >> until variable_name_1 != variable_name_2
Option : >> init numeric_variable >= number >> Policy : >> Execute execute_variable_name >> until variable_name_1 < variable_name_2
Option : >> init numeric_variable >= number >> Policy : >> Execute execute_variable_name >> until variable_name_1 > variable_name_2
Option : >> init numeric_variable >= number >> Policy : >> Execute execute_variable_name >> until variable_name_1 <= variable_name_2
Option : >> init numeric_variable >= number >> Policy : >> Execute execute_variable_name >> until variable_name_1 >= variable_name_2
Option : >> init numeric_variable >= number >> Policy : >> Execute execute_variable_name >> until numeric_variable == number
Option : >> init numeric_variable >= number >> Policy : >> Execute execute_variable_name >> until numeric_variable != number
Option : >> init numeric_variable >= number >> Policy : >> Execute execute_variable_name >> until numeric_variable < number
Option : >> init numeric_variable >= number >> Policy : >> Execute execute_variable_name >> until numeric_variable > number
Option : >> init numeric_variable >= number >> Policy : >> Execute execute_variable_name >> until numeric_variable <= number
Option : >> init numeric_variable >= number >> Policy : >> Execute execute_variable_name >> until numeric_variable >= number
