attempt to make analysis more robust by allowing branches of conditionals to fail non-catastropically