completeness_naive: renamed argument Subspaces to Trapspaces to be uniform with the parameters of faithful and univocal. faithful: bugfix for construction of CTL formula in which i previously forgot to include the AG operator.
Authored by: hannesklarner 2016-02-15
Parent: [r176]
Child: [r178]
