read_module gm3.rm
read_spec inv-fairness-3.spec

inv_check System_1H fairnessP1
inv_check System_2H fairnessP2
inv_check System_3H fairnessP3