13.27.1 Bugs Fixed

• Nested calls to timeout:time_out/3 would sometimes ignore the outer timeout limit. This problem was introduced in SICStus 4.4.0 in the re-implemented library(timeout).
• The cleanup phase of findall/3 and friends could scan an entire stack in the worst case.
• Creating a saved state (‘.po’, ‘.sav’) could result in a corrupt file if one of the saved predicates had been redefined after being imported. Loading the corrupt file could then cause SICStus to crash and other errors.
• Propagation bug for X #= Y*Y.