v0.1.13

Features

• limited support for #line directive (not yet for ACSL)

Bugfixes

• fix AssertionOrderModulation s.t. it can handle mixed iterations (with and without modulation)
• fix NullPointerException in loop acceleration (LA Woelfing)

Known Issues

README and Website usage instructions still outdated (see #135)