Model checker for asCTL. Second practical for CS4052.