read_module /home/skremer/Specs/GM/gm3.rm
read_spec /home/skremer/Specs/GM/abuse-freeness-gm-3.spec

atl_check System_3H not-abuse-freeness-P3-csfw15
atl_check System_3H not-abuse-freeness-P3-approx