Generic SSA signature updated to accomodate functors that depend on RESTORE