Text this: Decision procedure for an extended miniscoped fragment of FTL with equality