There was an erroneous handling of LHSs of propagate WLs that in some situations could lead to undefined references in the code... see #2576 for details.