allow mps_to_snl to start from intermediate state, since it keeps crashing...