Variables in massive snl file should be arrays
Code such as
int T1_Enabling_System;
assign T1_Enabling_System to "DTL-010::TankEnb";
monitor T1_Enabling_System;
int T2_Enabling_System;
assign T2_Enabling_System to "DTL-020::TankEnb";
monitor T2_Enabling_System;
int T3_Enabling_System;
assign T3_Enabling_System to "DTL-030::TankEnb";
monitor T3_Enabling_System;
int T4_Enabling_System;
assign T4_Enabling_System to "DTL-040::TankEnb";
monitor T4_Enabling_System;
int T5_Enabling_System;
assign T5_Enabling_System to "DTL-050::TankEnb";
monitor T5_Enabling_System;
should be in a loop. This will also improve the actual state transition calculations.