Displayed formula does not match new ATL syntax

[NicEastvillage]

When model checking, CGAAL prints what ATL property it is checking before it begins:

$ .\target\debug\cgaal.exe check .\lcgs-examples\robot_grid\robot_grid_N3.lcgs .\lcgs-examples\robot_grid\everyone_starts_home_TRUE.atl                  
Checking the formula: (((r1.at_start & r2.at_start) & r3.at_start) & r4.at_start)
Time elapsed model checking: 85ms (85ms 909us 700ns)
Model satisfies formula: true

However, since #216 conjunction and disjunction uses && and || respectively. As seen in the output above, printed ATL formulae still uses the old & and |.