Conservative definition
Parameters: b, c, L, i, a
(((exists pfa_gap_lowercontinuationinside. pfa_gap_lowercontinuationinside + S ((i)) = ((L))) /\ ((((exists ff_h_pfp_lowercontinuationentry. ff_h_pfp_lowercontinuationentry + S ((a)) = S ((S ((i))) * (c))) /\ exists ff_q_pfp_lowercontinuationentry. (b) = ff_q_pfp_lowercontinuationentry * S ((S ((i))) * (c)) + ((a))))))) \/ (((exists pfc_gap_lowercontinuationoutside. pfc_gap_lowercontinuationoutside+((L))=((i))) /\ ((((a))=0))))