Fault Tolerant Frenetic with Path Expressions