Text this: Equivalence Problem Solvability in Gateway Program Models