Only for constant expressions now (condition is always true/false/null); explain only in some cases (see TODO list in TrackingRunner.java)