let
properties : t_attack_state_goal list ref = ref []