Text this: On decidability of a fragment of intuitionistic predicate logic