AIntroductoryProblems.A1.a: Corrected CTL properties
AIntroductoryProblems.A1.1.a: CTL properties as PRISM properties including new lststyle for PRISM language