support for polml-5.5.2; support Thread.numPhysicalProcessors of polyml-5.5.2 (according to SVN 1890); clarified max_threads: store plain value internally, reproduce result only on startup, and thus avoid potential system overhead;

reverse order in which lines are selected, to ensure that the number of dependencies is accurate

truncate proof once False is hit to avoid confusing the rest of the code (no idea why Z3 goes on)